Mathlib Changelog
v4
Changelog
About
Github
Commit
2022-12-23 02:31
4b0358a2
View on Github →
chore: bump to 2022-12-22 (
#1157
)
Estimated changes
Modified
Mathlib/Algebra/Associated.lean
Modified
Mathlib/Algebra/Field/Defs.lean
modified
def
Rat.castRec
Modified
Mathlib/Algebra/Group/ULift.lean
Modified
Mathlib/Algebra/Hom/Units.lean
Modified
Mathlib/Algebra/Parity.lean
Modified
Mathlib/Data/Nat/Factorial/Basic.lean
Modified
Mathlib/Init/Align.lean
Modified
Mathlib/Init/Logic.lean
Modified
Mathlib/Logic/Nontrivial.lean
Modified
Mathlib/Order/Antisymmetrization.lean
Modified
Mathlib/Order/InitialSeg.lean
Modified
Mathlib/Order/RelIso/Basic.lean
Modified
lake-manifest.json
Modified
lean-toolchain