Theorem NonUnitalStarAlgHom.realContinuousMapZeroOfNNReal_injective

Modification history