Theorem Nat.add_pos_left

Modification history

2023-05-17 12:05
Mathlib/Data/Nat/Order/Basic.lean
chore: bump dependencies (#4012) …
Deleted Nat.add_pos_leftView on Github →
2022-12-10 13:28
Mathlib/Data/Nat/Order/Basic.lean
feat: port Data.Nat.Order.Basic (#907) …
Added Nat.add_pos_leftView on Github →