Def Lists'.recOfList

Modification history

2025-06-07 16:11
Mathlib/SetTheory/Lists.lean
chore: deprime `induction` in `Archive` and `SetTheory` (#25512) …
Added Lists'.recOfListView on Github →