Theorem Equiv.Perm.Basis.nonempty

Modification history