Theorem List.lookmap_cons

Modification history

2025-09-24 12:05
Mathlib/Data/List/Lookmap.lean
feat: grind golf in Mathlib.Data.List (#29492) …
Added List.lookmap_consView on Github →