Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-05-05 23:17
1755c0ff
View on Github →
chore: bump toolchain to v4.20.0-rc3 (
#24621
)
Estimated changes
Modified
Mathlib/Algebra/Group/Int/Defs.lean
Modified
Mathlib/Data/Int/Cast/Basic.lean
Modified
Mathlib/Data/Int/Init.lean
Modified
Mathlib/Data/Rat/Lemmas.lean
deleted
theorem
Rat.num_mk
Modified
Mathlib/RingTheory/DedekindDomain/Factorization.lean
Modified
lake-manifest.json
Modified
lakefile.lean
Modified
lean-toolchain