Def NonUnitalStarSubalgebra.unitization

Modification history