Theorem Stream'.drop_tail'

Modification history

2024-07-09 11:47

Mathlib/Data/Stream/Init.lean

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

Modified Stream'.drop_tail'View on Github →

2023-05-17 16:14

Mathlib/Data/Stream/Init.lean

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

Added Stream'.drop_tail'View on Github →