instTrivialStarNNReal — Mathlib · SciLib

∫ Утверждение Mathlib

instTrivialStarNNReal

Mathlib.Data.NNReal.Star

URI: https://scilib.ai/kg/mathlib#instTrivialStarNNReal

← MathLib Explorer