Theorem Subalgebra.le_centralizer_iff

Modification history