Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.take'_nil

Modification history

2023-01-15 06:15

src/data/list/basic.lean

refactor(*): define `list.replicate` and migrate to it (#18127) …

Modified list.take'_nil View on Github →

2022-01-09 18:06

src/data/list/basic.lean

chore(*): update to 3.37.0c (#11325) …

Modified list.take'_nil View on Github →

2018-07-02 07:22

data/list/basic.lean

feat(computability/turing_machine): reduce to 2-symbol TMs

Added list.take'_nil View on Github →