Def List.reverseRec

Modification history

2026-02-10 09:16
Mathlib/Data/List/Induction.lean
refactor(Data/List/Induction): improve definition of `reverseRecOn` (#33192) …
Added List.reverseRecView on Github →