[ deprecate ] Relation/Binary.PropositionalEquality.inspect (#1580 / #1630 / #1930 redux)#2934
Open
jamesmckinna wants to merge 3 commits intoagda:masterfrom
Open
[ deprecate ] Relation/Binary.PropositionalEquality.inspect (#1580 / #1630 / #1930 redux)#2934jamesmckinna wants to merge 3 commits intoagda:masterfrom
Relation/Binary.PropositionalEquality.inspect (#1580 / #1630 / #1930 redux)#2934jamesmckinna wants to merge 3 commits intoagda:masterfrom
