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

nonneg_of_isNat'

Mathlib.Tactic.Positivity.Core

URI: https://scilib.ai/kg/mathlib#Mathlib.Meta.Positivity.nonneg_of_isNat'

← MathLib Explorer