Theorem Equiv.Perm.Basis.toCentralizer_apply

Modification history