Theorem NonUnitalStarSubalgebra.unitization_apply_coe

Modification history