Theorem Submonoid.center_le_centralizer

Modification history