Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-02 22:26
8926633f
View on Github →
chore: tidy various files (
#20225
)
Estimated changes
Modified
Mathlib/Algebra/BigOperators/Associated.lean
Modified
Mathlib/Algebra/Divisibility/Units.lean
Modified
Mathlib/Algebra/Group/WithOne/Basic.lean
Modified
Mathlib/Algebra/GroupWithZero/Basic.lean
modified
theorem
pow_eq_zero_of_le
Modified
Mathlib/Algebra/Homology/DerivedCategory/Ext/Basic.lean
Modified
Mathlib/Algebra/Module/LocalizedModule/Basic.lean
Modified
Mathlib/AlgebraicGeometry/OpenImmersion.lean
Modified
Mathlib/Analysis/Analytic/Composition.lean
Modified
Mathlib/Analysis/Calculus/FDeriv/Prod.lean
Modified
Mathlib/Analysis/SpecialFunctions/Log/Deriv.lean
Modified
Mathlib/CategoryTheory/Abelian/Refinements.lean
Modified
Mathlib/Combinatorics/SimpleGraph/Connectivity/Subgraph.lean
Modified
Mathlib/Combinatorics/SimpleGraph/Walk.lean
Modified
Mathlib/Data/Nat/Choose/Lucas.lean
Modified
Mathlib/Data/Set/Image.lean
Modified
Mathlib/Data/Setoid/Basic.lean
Modified
Mathlib/Geometry/Manifold/ChartedSpace.lean
Modified
Mathlib/Geometry/Manifold/MFDeriv/UniqueDifferential.lean
Modified
Mathlib/LinearAlgebra/Projectivization/Cardinality.lean
Modified
Mathlib/MeasureTheory/Decomposition/RadonNikodym.lean
Modified
Mathlib/MeasureTheory/Function/SimpleFunc.lean
Modified
Mathlib/MeasureTheory/Measure/Haar/Unique.lean
Modified
Mathlib/MeasureTheory/Measure/Hausdorff.lean
Modified
Mathlib/MeasureTheory/VectorMeasure/WithDensity.lean
Modified
Mathlib/NumberTheory/NumberField/EquivReindex.lean
Modified
Mathlib/NumberTheory/NumberField/House.lean
Modified
Mathlib/Probability/Density.lean
Modified
Mathlib/Probability/Distributions/Gaussian.lean
Modified
Mathlib/RingTheory/FiniteLength.lean
Modified
Mathlib/RingTheory/Ideal/Quotient/Operations.lean
Modified
Mathlib/RingTheory/LaurentSeries.lean
Modified
Mathlib/RingTheory/Nilpotent/Defs.lean
modified
theorem
IsNilpotent.of_pow
modified
theorem
IsNilpotent.pow_iff_pos
Modified
Mathlib/RingTheory/RingHom/FinitePresentation.lean
Modified
Mathlib/RingTheory/Spectrum/Prime/Module.lean
Modified
Mathlib/RingTheory/Support.lean
Modified
Mathlib/Topology/MetricSpace/HolderNorm.lean
Modified
Mathlib/Topology/Order/UpperLowerSetTopology.lean
modified
def
Topology.lowerSet
modified
def
Topology.upperSet