Theorem NonUnitalStarSubalgebra.unitization_surjective

Modification history