Theorem Equiv.Perm.extendDomain_trans

Modification history