Theorem equivalence_of_manyOneEquiv

Modification history