Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rat.num_nonneg_iff_zero_le

Modification history