Theorem Subsemiring.coe_toSubmonoid

Modification history