Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-22 09:40 38ae9b37

View on Github →

chore(data/nat/basic): reuse a proof, drop a duplicate (#5836) Drop nat.div_mul_le_self', use nat.div_mul_le_self instead.

Estimated changes