Theorem NonUnitalSubsemiring.closure_induction₂

Modification history