Theorem Equiv.Perm.Basis.injective

Modification history