Theorem Subgroup.center_le_centralizer

Modification history