Theorem Equiv.Perm.extendDomain_symm

Modification history