Theorem Function.Injective.acc_map_iff

Modification history

2026-11-10 14:10
Mathlib/Logic/Relation.lean
feat(Logic/Relation,Order/WellFounded): lemmas about `Acc`, `WellFounded`, and `Relation.Map` (#44696) …
Added Function.Injective.acc_map_iffView on Github →