Theorem Equivalence.eqvGen_eq

Modification history