Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.take_zero

Modification history

2018-10-08 14:30

data/list/basic.lean

refactor(*): touching up proofs from 'faster' branch

Modified list.take_zero View on Github →

2018-10-08 14:30

data/list/basic.lean

refactor(*): making mathlib faster again

Modified list.take_zero View on Github →

2017-07-24 00:42

data/list/basic.lean

refactor(*): move in some nat lemmas …

Added list.take_zero View on Github →