Theorem NonUnitalSubalgebra.toSubalgebra_toNonUnitalSubalgebra

Modification history