Theorem Equiv.Perm.support_subtypePerm

Modification history