Theorem Setoid.eqv_classes_disjoint

Modification history