Theorem List.bidirectionalRec_singleton

Modification history

2024-03-19 17:09
Mathlib/Data/List/Basic.lean
feat: lemmas about `List.reverseRecOn` (#11257) …
Added List.bidirectionalRec_singletonView on Github →