Theorem Mathlib.Meta.Positivity.log_nonneg_of_isNegNat

Modification history