Def List.reverseRecOn
Modification history
2025-02-10 14:34
Mathlib/Data/List/Basic.lean
chore: split Data.List.Basic (#21530) …
Modified List.reverseRecOnView on Github →2024-03-19 17:09
Mathlib/Data/List/Basic.lean
feat: lemmas about `List.reverseRecOn` (#11257) …
Modified List.reverseRecOnView on Github →