Theorem Equiv.Perm.subtypeCongr.symm

Modification history