Theorem NonUnitalSubring.closure_induction'

Modification history