Theorem NonUnitalSubsemiring.closure_mono

Modification history