Theorem Function.Injective.wellFounded_map_iff

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 Function.Injective.wellFounded_map_iffView on Github →