Theorem Setoid.eqvGen_of_setoid

Modification history