Mathlib Changelog
v4
Changelog
About
Github
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.reverseRec
View on Github →