Theorem NonUnitalStarAlgHom.realContinuousMapZeroOfNNReal_apply_comp_toReal

Modification history