Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-07-11 21:09
bf80b153
View on Github →
chore:
n+1
to
n + 1
(
#26937
)
Estimated changes
Modified
Cache/Lean.lean
Modified
Mathlib/Algebra/DirectSum/Ring.lean
Modified
Mathlib/Algebra/GradedMonoid.lean
Modified
Mathlib/Algebra/Homology/HomotopyCategory/Pretriangulated.lean
Modified
Mathlib/Algebra/Homology/HomotopyCategory/Triangulated.lean
Modified
Mathlib/Algebra/Lie/CartanExists.lean
Modified
Mathlib/Algebra/Lie/EngelSubalgebra.lean
Modified
Mathlib/Algebra/MvPolynomial/Equiv.lean
Modified
Mathlib/AlgebraicGeometry/StructureSheaf.lean
Modified
Mathlib/AlgebraicTopology/ExtraDegeneracy.lean
Modified
Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean
Modified
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean
Modified
Mathlib/AlgebraicTopology/SimplicialSet/Horn.lean
modified
def
SSet.horn.face
Modified
Mathlib/Analysis/Calculus/ContDiff/Basic.lean
Modified
Mathlib/Analysis/Complex/Hadamard.lean
Modified
Mathlib/Analysis/Fourier/FourierTransformDeriv.lean
Modified
Mathlib/Analysis/Normed/Group/Completeness.lean
Modified
Mathlib/Analysis/Seminorm.lean
Modified
Mathlib/Analysis/SpecialFunctions/Log/Base.lean
Modified
Mathlib/CategoryTheory/Abelian/Injective/Resolution.lean
Modified
Mathlib/CategoryTheory/Abelian/Projective/Resolution.lean
Modified
Mathlib/CategoryTheory/Abelian/RightDerived.lean
Modified
Mathlib/CategoryTheory/ComposableArrows.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/SequentialProduct.lean
Modified
Mathlib/CategoryTheory/Limits/Types/Images.lean
Modified
Mathlib/CategoryTheory/Sites/Coherent/SequentialLimit.lean
Modified
Mathlib/Computability/AkraBazzi/GrowsPolynomially.lean
Modified
Mathlib/Data/Fin/Fin2.lean
modified
def
Fin2.last
Modified
Mathlib/Data/Fin/Tuple/Basic.lean
Modified
Mathlib/Data/List/OfFn.lean
Modified
Mathlib/Data/List/Sublists.lean
Modified
Mathlib/Data/Nat/Digits/Defs.lean
modified
theorem
Nat.digits_zero_succ
Modified
Mathlib/Data/Vector/Basic.lean
Modified
Mathlib/Data/Vector/Snoc.lean
modified
def
List.Vector.snoc
Modified
Mathlib/Dynamics/PeriodicPts/Defs.lean
Modified
Mathlib/FieldTheory/JacobsonNoether.lean
Modified
Mathlib/GroupTheory/Perm/List.lean
Modified
Mathlib/Lean/Expr/Basic.lean
Modified
Mathlib/Lean/Meta/RefinedDiscrTree/Lookup.lean
Modified
Mathlib/Logic/Equiv/Fin/Basic.lean
Modified
Mathlib/MeasureTheory/Integral/Lebesgue/DominatedConvergence.lean
Modified
Mathlib/Order/Hom/Order.lean
Modified
Mathlib/Order/KrullDimension.lean
Modified
Mathlib/RingTheory/UniqueFactorizationDomain/Basic.lean
Modified
Mathlib/SetTheory/Cardinal/Basic.lean
Modified
Mathlib/Tactic/Core.lean
Modified
Mathlib/Tactic/Linarith/Parsing.lean
Modified
Mathlib/Tactic/Ring/PNat.lean
Modified
Mathlib/Tactic/Sat/FromLRAT.lean
Modified
Mathlib/Topology/Category/LightProfinite/AsLimit.lean
Modified
Mathlib/Topology/Category/LightProfinite/Sequence.lean
Modified
Mathlib/Topology/EMetricSpace/Lipschitz.lean
Modified
Mathlib/Topology/Homotopy/Lifting.lean
Modified
Mathlib/Topology/MetricSpace/Contracting.lean
Modified
Mathlib/Topology/MetricSpace/Lipschitz.lean
Modified
Mathlib/Topology/UnitInterval.lean
Modified
Mathlib/Util/Export.lean
Modified
MathlibTest/GCongr/inequalities.lean
Modified
MathlibTest/LibraryRewrite.lean
Modified
MathlibTest/fun_prop_dev.lean
Modified
MathlibTest/irreducibleDef.lean
Modified
MathlibTest/positivity.lean
Modified
MathlibTest/ring.lean
Modified
MathlibTest/solve_by_elim/basic.lean
Modified
MathlibTest/toAdditive.lean
modified
def
Test.myFin.foo