Theorem Real.toNNReal_eq_nnnorm_of_nonneg

Modification history