Theorem Subsemiring.toSubmonoid_strictMono

Modification history