Theorem Equiv.Perm.inv_subtypePerm

Modification history