Theorem Setoid.eqv_class_mem

Modification history