Def StarSubalgebra.toNonUnitalStarSubalgebra

Modification history