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.