Theorem NonUnitalSubsemiring.coe_closure_eq

Modification history