Theorem Setoid.eq_iff_rel_eq

Modification history