Def NonUnitalSubalgebra.unitization

Modification history