Theorem Mathlib.Meta.NormNum.IsInt.nonneg_to_eq

Modification history