Theorem Equiv.Perm.subtypePerm_ofSubtype

Modification history