Def NonUnitalSubalgebra.toNonUnitalSubring

Modification history