Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-07 09:09 c1f13c03

View on Github →

fix(data/int.basic): rename sub_one_le_iff (#394)

Estimated changes

modified theorem int.dvd_of_pow_dvd
deleted theorem int.sub_one_le_iff
added theorem int.sub_one_lt_iff