Theorem NonUnitalSubsemiring.closure_induction

Modification history