Theorem NonUnitalSubring.mem_closure_iff

Modification history