Theorem Subsemiring.mem_centralizer_iff

Modification history