Theorem Equiv.Perm.support_ofSubtype

Modification history