Theorem Equivalence.quot_mk_eq_iff

Modification history