Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-05 19:47 d5a1b468

View on Github →

to_nat_le_to_nat (#685)

Estimated changes

added theorem int.to_nat_le_to_nat