Theorem Nat.lt_add_of_zero_lt_left

Modification history

2024-07-21 18:57
Mathlib/Init/Meta/WellFoundedTactics.lean
chore(Mathlib/Init/Meta/WellFoundedTactic): remove `Mathlib.Init.Meta.WellFoundedTactic` (#14980)
Deleted Nat.lt_add_of_zero_lt_leftView on Github →
2023-01-07 18:00
Mathlib/Init/Meta/WellFoundedTactics.lean
feat: port the basic lemmas in Init.Meta.WellFoundedTactics (#1392) …
Added Nat.lt_add_of_zero_lt_leftView on Github →