Theorem NonUnitalStarSubalgebra.unitization_injective

Modification history