Theorem Equiv.Perm.support_subtype_perm

Modification history