Theorem Setoid.sup_eq_eqvGen

Modification history