Theorem Equiv.Perm.ofSubtype_subtypePerm

Modification history