Theorem Subsemiring.toAddSubmonoid_strictMono

Modification history