Theorem WellFounded.isWF

Modification history

2025-08-14 19:32

Mathlib/Order/WellFoundedSet.lean

chore: remove >6 month old deprecations (#28370) …

Deleted WellFounded.isWF View on Github →

2025-03-18 05:03

Mathlib/Order/WellFoundedSet.lean

feat: merge wqo APIs (#20786) …

Modified WellFounded.isWF View on Github →

2024-01-09 15:48

Mathlib/Order/WellFoundedSet.lean

chore(*): rename IsPwo to IsPWO (#9582) …

Added WellFounded.isWF View on Github →