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