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