Theorem Equivalence.eqvGen_iff

Modification history