star_nonneg_iff — Mathlib · SciLib

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

star_nonneg_iff

Mathlib.Algebra.Order.Star.Basic

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

← MathLib Explorer