Theorem Subsemiring.center_le_centralizer

Modification history