Commit 2022-12-05 19:18 91bc2abf

View on Github →

chore: update std 12-05 (#863)

Estimated changes

Modified Mathlib/Lean/Expr/Basic.lean

deleted def Lean.Expr.toSyntax

Modified Mathlib/Order/Basic.lean

Modified lake-manifest.json