Theorem Subsemiring.centralizer_toSubmonoid

Modification history