Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-06-10 07:27
b7d3b35b
View on Github →
chore: use #adaptation_note for the remaining cases (
#13665
)
Estimated changes
Modified
Mathlib/Algebra/Group/Support.lean
Modified
Mathlib/Algebra/Homology/ExactSequence.lean
Modified
Mathlib/Algebra/Homology/HomologySequence.lean
Modified
Mathlib/Algebra/Homology/Single.lean
Modified
Mathlib/Algebra/Lie/CartanExists.lean
Modified
Mathlib/Algebra/Order/GroupWithZero/Canonical.lean
Modified
Mathlib/AlgebraicGeometry/AffineScheme.lean
Modified
Mathlib/AlgebraicGeometry/Spec.lean
Modified
Mathlib/Analysis/Convex/Basic.lean
Modified
Mathlib/Analysis/Normed/Group/Basic.lean
Modified
Mathlib/Analysis/NormedSpace/Star/ContinuousFunctionalCalculus.lean
Modified
Mathlib/Analysis/SpecialFunctions/Complex/Circle.lean
Modified
Mathlib/Analysis/SpecialFunctions/Complex/Log.lean
Modified
Mathlib/CategoryTheory/Abelian/DiagramLemmas/Four.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/KernelPair.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/Kernels.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/Products.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/Pullbacks.lean
Modified
Mathlib/Data/Complex/Basic.lean
Modified
Mathlib/Data/Complex/Exponential.lean
Modified
Mathlib/Data/Matrix/Basic.lean
Modified
Mathlib/GroupTheory/Perm/Fin.lean
Modified
Mathlib/Init/Data/Bool/Lemmas.lean
Modified
Mathlib/LinearAlgebra/CrossProduct.lean
Modified
Mathlib/LinearAlgebra/TensorProduct/Graded/Internal.lean
Modified
Mathlib/MeasureTheory/Covering/Differentiation.lean
Modified
Mathlib/MeasureTheory/Covering/Vitali.lean
Modified
Mathlib/MeasureTheory/Integral/CircleIntegral.lean
Modified
Mathlib/MeasureTheory/Integral/Periodic.lean
Modified
Mathlib/MeasureTheory/Measure/Stieltjes.lean
Modified
Mathlib/NumberTheory/RamificationInertia.lean
Modified
Mathlib/Probability/Kernel/Disintegration/Density.lean
Modified
Mathlib/RingTheory/Henselian.lean
Modified
Mathlib/SetTheory/Ordinal/Principal.lean
Modified
Mathlib/Topology/Algebra/Ring/Basic.lean
Modified
Mathlib/Topology/Sheaves/Skyscraper.lean
Modified
Mathlib/Topology/Support.lean
Modified
scripts/noshake.json
Modified
test/Lint.lean
Modified
test/MoveAdd.lean
Modified
test/rewrites.lean