Theorem NonUnitalSubsemiring.closure_empty

Modification history