Theorem WellFounded.of_map

Modification history

2026-11-10 14:10

Mathlib/Order/WellFounded.lean

feat(Logic/Relation,Order/WellFounded): lemmas about `Acc`, `WellFounded`, and `Relation.Map` (#44696) …

Added WellFounded.of_map View on Github →