Def List.takeI

Modification history

2022-12-20 05:52
Mathlib/Data/List/Defs.lean
fix: Data.List.Defs (#1118) …
Added List.takeIView on Github →