Theorem IsWellFounded.exists_well_order_ge

Modification history

2026-09-11 10:13

Mathlib/Order/Extension/Well.lean

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

Deleted IsWellFounded.exists_well_order_ge View on Github →

2024-10-22 14:15

Mathlib/Order/Extension/Well.lean

chore(SetTheory/Ordinal/Arithmetic): `WellFounded.rank` → `IsWellFounded.rank` (#16586) …

Added IsWellFounded.exists_well_order_ge View on Github →