Theorem NonUnitalSubalgebraClass.subtype_apply

Modification history