Theorem Subsemiring.le_centralizer_centralizer

Modification history