Def NonUnitalSubalgebra.toSubalgebra

Modification history