Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-30 15:07 cd69351b

View on Github →

doc(data/stream/defs): add docstrings to most defs (#10547) Also move 1 def from basic to defs.

Estimated changes

deleted def stream.corec_state
modified def stream.head
modified def stream.nth