Theorem Nat.zero_lt_one_add

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.zero_lt_one_addView on Github →
2023-11-05 13:30
Mathlib/Init/Meta/WellFoundedTactics.lean
fix: patch for std4#195 (more succ/pred lemmas for `Nat`) (#6203)
Modified Nat.zero_lt_one_addView on Github →
2023-01-07 18:00
Mathlib/Init/Meta/WellFoundedTactics.lean
feat: port the basic lemmas in Init.Meta.WellFoundedTactics (#1392) …
Added Nat.zero_lt_one_addView on Github →