Theorem NonUnitalStarSubalgebraClass.subtype_injective

Modification history