Theorem Setoid.eq_eqv_class_of_mem

Modification history