Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-03-15 08:34
1384de0d
View on Github →
chore: tidy various files (
#11135
)
Estimated changes
Modified
Mathlib/AlgebraicGeometry/EllipticCurve/Jacobian.lean
Modified
Mathlib/AlgebraicGeometry/EllipticCurve/Projective.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/Pullbacks.lean
Modified
Mathlib/Data/Complex/Basic.lean
Modified
Mathlib/Data/Nat/ModEq.lean
Modified
Mathlib/GroupTheory/SchurZassenhaus.lean
Modified
Mathlib/Init/Logic.lean
modified
theorem
Equivalence.transitive
Modified
Mathlib/LinearAlgebra/QuadraticForm/Dual.lean
Modified
Mathlib/Logic/Godel/GodelBetaFunction.lean
modified
theorem
Nat.beta_unbeta_coe
Modified
Mathlib/MeasureTheory/Integral/Lebesgue.lean
Modified
Mathlib/NumberTheory/NumberField/CanonicalEmbedding.lean
modified
theorem
NumberField.mixedEmbedding.convexBodyLT'_neg_mem
Modified
Mathlib/NumberTheory/SumFourSquares.lean
Modified
Mathlib/Probability/Kernel/WithDensity.lean
Modified
Mathlib/RingTheory/Kaehler.lean
Modified
Mathlib/Topology/MetricSpace/Closeds.lean
Modified
Mathlib/Topology/MetricSpace/HausdorffDistance.lean
Modified
Mathlib/Topology/Separation.lean
Modified
Mathlib/Topology/Spectral/Hom.lean