Def NonUnitalSubring.closure

Modification history