Theorem Int.covby_add_one

Modification history

2024-01-09 09:25

Mathlib/Data/Int/SuccPred.lean

chore(Covby): rename `Covby` to `CovBy` (#9578) …

Deleted Int.covby_add_one View on Github →

2023-01-16 11:59

Mathlib/Data/Int/SuccPred.lean

feat: port Data.Int.SuccPred (#1543)

Added Int.covby_add_one View on Github →