Commit 2023-01-29 23:05 1abd74a8

View on Github →

chore: bump lean 01-29 (#1927)

Estimated changes

Modified Mathlib/Algebra/Group/Semiconj.lean

Modified Mathlib/Algebra/Invertible.lean

Modified Mathlib/Data/Nat/Order/Basic.lean

Modified Mathlib/Data/Set/Intervals/OrdConnectedComponent.lean

Modified Mathlib/Data/ZMod/Defs.lean

Modified Mathlib/Dynamics/FixedPoints/Basic.lean

Modified Mathlib/GroupTheory/Subgroup/Basic.lean

Modified Mathlib/Logic/Denumerable.lean

modified theorem Nat.Subtype.lt_succ_self

Modified Mathlib/Logic/Equiv/Basic.lean

Modified Mathlib/Logic/Equiv/Fin.lean

modified theorem finCongr_apply_coe

Modified lake-manifest.json

Modified lean-toolchain