Theorem Equiv.Perm.extendDomain_inv

Modification history