Theorem NonUnitalSubalgebra.unitization_surjective

Modification history