Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-04 19:30 6120aac4

View on Github →

chore(data/seq/*): trivial spacing fixes (#15847) We do λx → λ x and a single instance of { x } → {x}.

Estimated changes

modified def computation.empty
modified theorem computation.equiv.refl
modified def computation.return