Theorem NonUnitalSubring.closure_union

Modification history