Sergey Bozhko authored 1 year ago and Björn Brandenburg committed 1 year ago

In the lemma I'm working on now, I need a bool version of this
definition. As we discussed, we should avoid two identical versions
(Prop + bool) whenever possible