Theorem NonUnitalSubsemiring.closure_sUnion

Modification history