Def NonUnitalSubring.unitization

Modification history