Theorem Equiv.Perm.Basis.toCentralizer_equivariant

Modification history