Theorem Subsemiring.coe_centralizer

Modification history