Theorem Pi.Lex.wellFounded

Modification history

2026-09-11 10:13

Mathlib/Data/DFinsupp/WellFounded.lean

refactor: replace `IsWellFounded` with `WellFounded` (#42351) …

Modified Pi.Lex.wellFounded View on Github →

2023-03-18 15:37

Mathlib/Data/Dfinsupp/WellFounded.lean

feat: port Data.Dfinsupp.WellFounded (#2944) …

Added Pi.Lex.wellFounded View on Github →