Theorem Equiv.Perm.sign_subtypePerm

Modification history