Theorem Equiv.Perm.extendDomain_eq_one_iff

Modification history