Theorem NonUnitalSubring.closure_univ

Modification history