[ deprecate ] Relation/Binary.PropositionalEquality.inspect (#1580 / #1630 / #1930 redux)
#2670
Loading
Relation/Binary.PropositionalEquality.inspect (#1580 / #1630 / #1930 redux)
#2670