Def NonUnitalSubalgebra.toNonUnitalSubring'

Modification history