Def Subalgebra.toNonUnitalSubalgebra

Modification history