Theorem Stream'.dropLast_take

Modification history

2024-07-09 11:47

Mathlib/Data/Stream/Init.lean

chore(Data): reduce use of autoImplicit (#14362) …

Modified Stream'.dropLast_take View on Github →

2023-06-25 11:21

Mathlib/Data/Stream/Init.lean

chore: disable relaxedAutoImplicit (#5277) …

Modified Stream'.dropLast_take View on Github →

2023-05-17 16:14

Mathlib/Data/Stream/Init.lean

feat: more simp lemmas about streams (#3929) …

Added Stream'.dropLast_take View on Github →