Theorem Equiv.Perm.IsCycleOn.extendDomain

Modification history