Commit 2023-01-10 13:59 835b2b6b

View on Github →

chore: update to 2023-01-10 nightly (#1447)

depends on: https://github.com/leanprover/std4/pull/83
depends on: https://github.com/JLimperg/aesop/pull/38

Estimated changes

Modified Mathlib/Algebra/Group/Pi.lean

Modified Mathlib/Data/Int/Cast/Defs.lean

deleted def Int.cast

Modified Mathlib/Data/List/Defs.lean

modified def List.findM

Modified Mathlib/GroupTheory/GroupAction/Pi.lean

Modified lake-manifest.json

Modified lean-toolchain