Def NonUnitalSubsemiring.closure

Modification history