Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.add_one_le_iff

Modification history

2018-01-16 05:29
data/int/basic.lean
feat(data/real): completeness of the (new) real numbers
Added int.add_one_le_iffView on Github →