Theorem Acc.of_map

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 Acc.of_map View on Github →