Commit c68e112

and

authored

A series of equality lemmas for SetQuotient (#1259)

--------- Co-authored-by: robert <reswatson@gmail.com>

1 parent dc8f69e commit c68e112Copy full SHA for c68e112

1 file changed

+303

-0

lines changed

+303

-0

lines changed

Comments

(0)