Theorem Equiv.Perm.subtypePerm_apply

Modification history