Theorem NonUnitalSubalgebra.unitization_apply_coe

Modification history