Theorem Equiv.Perm.subtypePerm_one

Modification history