Theorem manyOneEquiv_toNat

Modification history