Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2017-09-05 10:33
c7a3c75d
View on Github →
fix(data/seq): option_bind, option_map -> option.bind, option.map (changed in Lean)
Estimated changes
Modified
data/seq/parallel.lean
Modified
data/seq/seq.lean
modified
theorem
seq.map_nth
Modified
data/seq/wseq.lean
modified
def
wseq.map