Commit 2026-03-04 23:17 229f9edd

View on Github →

chore: bump toolchain to v4.29.0-rc4 (#36122)

Estimated changes

Modified Mathlib/Algebra/Group/Ext.lean

Modified Mathlib/Algebra/Quaternion.lean

Modified Mathlib/LinearAlgebra/CliffordAlgebra/SpinGroup.lean

Modified Mathlib/RingTheory/Polynomial/UniversalFactorizationRing.lean

Modified MathlibTest/DefEqAbuse.lean

deleted theorem test_zo_cmd_abuse

deleted theorem zo_eq_iff

Modified MathlibTest/slow_instances.lean

Modified lake-manifest.json

Modified lakefile.lean

Modified lean-toolchain