Commit 2023-09-13 08:37 0444e0c2

View on Github →

feat(Data/Nat/Basic): self_add_sub_one and friends (#7123)

Estimated changes

added theorem Nat.pred_add_self
added theorem Nat.self_add_pred
added theorem Nat.self_add_sub_one
added theorem Nat.sub_one_add_self