Theorem Setoid.eq_iff_classes_eq

Modification history