Theorem Subring.center_le_centralizer

Modification history