Theorem Subsemiring.closure_mono

Modification history