Theorem toNat_manyOneEquiv

Modification history