Theorem Subalgebra.center_le_centralizer

Modification history