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.
chore(data/nat/basic): reuse a proof, drop a duplicate (#5836)
Drop nat.div_mul_le_self', use nat.div_mul_le_self instead.