Theorem Equiv.Perm.extendDomain_mul

Modification history