Theorem List.reverseRec_nil

Modification history

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