Theorem Int.sub_one_covby

Modification history

2024-01-09 09:25

Mathlib/Data/Int/SuccPred.lean

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

Deleted Int.sub_one_covby View on Github →

2023-01-16 11:59

Mathlib/Data/Int/SuccPred.lean

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

Added Int.sub_one_covby View on Github →