Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-30 17:30 c238aadb

View on Github →

refactor(data/nat): simplify find_greatest; fix namespace nat.nat.find_greatest -> nat.find_greatest

Estimated changes

added theorem nat.find_greatest_spec
added theorem nat.le_find_greatest
modified theorem nat.mul_pow
modified theorem nat.nat.div_mul_div