Commit 2023-01-04 18:50 7e2613af

View on Github →

chore: bump to 2023-01-04 (#1335)

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Control/Functor.lean

Modified Mathlib/Data/KVMap.lean

Modified Mathlib/Init/Data/Fin/Basic.lean

Modified Mathlib/Init/Set.lean

Modified Mathlib/Lean/Expr/Basic.lean

Modified Mathlib/Lean/Meta.lean

Modified Mathlib/Mathport/Rename.lean

Modified Mathlib/Order/Antichain.lean

Modified Mathlib/Order/Chain.lean

Modified Mathlib/Order/Zorn.lean

Modified Mathlib/Tactic/Alias.lean

Modified Mathlib/Tactic/ApplyRules.lean

Modified Mathlib/Tactic/Basic.lean

Modified Mathlib/Tactic/CasesM.lean

Modified Mathlib/Tactic/Clear!.lean

Modified Mathlib/Tactic/ClearExcept.lean

Modified Mathlib/Tactic/Clear_.lean

Modified Mathlib/Tactic/Coe.lean

Modified Mathlib/Tactic/Convert.lean

Modified Mathlib/Tactic/Have.lean

Modified Mathlib/Tactic/IrreducibleDef.lean

Modified Mathlib/Tactic/LeftRight.lean

Modified Mathlib/Tactic/PrintPrefix.lean

Modified Mathlib/Tactic/Relation/Rfl.lean

Modified Mathlib/Tactic/Rename.lean

Modified Mathlib/Tactic/RunCmd.lean

Modified Mathlib/Tactic/Set.lean

Modified Mathlib/Tactic/SimpIntro.lean

Modified Mathlib/Tactic/SudoSetOption.lean

Modified Mathlib/Tactic/ToAdditive.lean

Modified Mathlib/Util/Export.lean

Deleted Mathlib/Util/MapsTo.lean

deleted def Mathlib.Util.MapsTo.delabLam

Modified Mathlib/Util/Simp.lean

Modified Mathlib/Util/WithWeakNamespace.lean

Modified lean-toolchain