Theorem NonUnitalSubsemiring.closure_eq_of_le

Modification history