Theorem NonUnitalSubsemiring.closure_subsemigroup_closure

Modification history