Theorem Cycle.Chain.eq_nil_of_wellFounded

Modification history

2026-09-11 10:13

Mathlib/Data/List/Cycle.lean

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

Added Cycle.Chain.eq_nil_of_wellFounded View on Github →