Theorem NonUnitalSubring.closure_induction₂

Modification history