Theorem Mathlib.Meta.Positivity.nonneg_of_isNNRat

Modification history