Theorem Equiv.Perm.extendDomain_refl

Modification history