Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-04-15 01:53
d48d30ac
View on Github →
chore: superfluous parentheses part 2 (
#12131
)
Estimated changes
Modified
Archive/Imo/Imo1962Q1.lean
Modified
Archive/Imo/Imo1972Q5.lean
Modified
Archive/Imo/Imo1981Q3.lean
Modified
Archive/Imo/Imo1988Q6.lean
Modified
Archive/Imo/Imo1994Q1.lean
Modified
Archive/Imo/Imo2008Q2.lean
Modified
Archive/Imo/Imo2011Q3.lean
Modified
Archive/Imo/Imo2011Q5.lean
Modified
Archive/Imo/Imo2013Q5.lean
Modified
Archive/Wiedijk100Theorems/SumOfPrimeReciprocalsDiverges.lean
Modified
Mathlib/Algebra/Category/ModuleCat/ChangeOfRings.lean
Modified
Mathlib/Algebra/Category/ModuleCat/Free.lean
Modified
Mathlib/Algebra/Category/Ring/Limits.lean
Modified
Mathlib/Algebra/Lie/Abelian.lean
Modified
Mathlib/Algebra/Lie/EngelSubalgebra.lean
Modified
Mathlib/Algebra/Module/Zlattice.lean
Modified
Mathlib/Algebra/MonoidAlgebra/Basic.lean
Modified
Mathlib/Algebra/MvPolynomial/CommRing.lean
Modified
Mathlib/Algebra/MvPolynomial/Degrees.lean
Modified
Mathlib/Algebra/MvPolynomial/Monad.lean
Modified
Mathlib/Algebra/MvPolynomial/Variables.lean
Modified
Mathlib/Algebra/Order/Monoid/WithTop.lean
Modified
Mathlib/Algebra/Polynomial/AlgebraMap.lean
Modified
Mathlib/Algebra/Polynomial/Degree/Definitions.lean
Modified
Mathlib/Algebra/Polynomial/Degree/Lemmas.lean
Modified
Mathlib/Algebra/Polynomial/Div.lean
Modified
Mathlib/Algebra/Polynomial/Eval.lean
Modified
Mathlib/Algebra/Ring/BooleanRing.lean
Modified
Mathlib/AlgebraicTopology/DoldKan/Compatibility.lean
Modified
Mathlib/AlgebraicTopology/DoldKan/GammaCompN.lean
Modified
Mathlib/Analysis/Analytic/Composition.lean
Modified
Mathlib/Analysis/Asymptotics/AsymptoticEquivalent.lean
Modified
Mathlib/Analysis/Asymptotics/SpecificAsymptotics.lean
Modified
Mathlib/Analysis/BoxIntegral/Basic.lean
Modified
Mathlib/Analysis/BoxIntegral/Box/Basic.lean
Modified
Mathlib/Analysis/BoxIntegral/DivergenceTheorem.lean
Modified
Mathlib/Analysis/BoxIntegral/Partition/Additive.lean
Modified
Mathlib/Analysis/Calculus/FDeriv/Basic.lean
Modified
Mathlib/Analysis/Calculus/FDeriv/Comp.lean
Modified
Mathlib/Analysis/Calculus/FDeriv/Measurable.lean
Modified
Mathlib/Analysis/Calculus/Implicit.lean
Modified
Mathlib/Analysis/Calculus/InverseFunctionTheorem/ApproximatesLinearOn.lean
Modified
Mathlib/Analysis/Calculus/ParametricIntegral.lean
Modified
Mathlib/Analysis/Complex/AbsMax.lean
Modified
Mathlib/Analysis/Complex/PhragmenLindelof.lean
Modified
Mathlib/Analysis/Complex/UpperHalfPlane/Metric.lean
Modified
Mathlib/Analysis/Convex/Cone/Basic.lean
Modified
Mathlib/Analysis/Convex/Cone/InnerDual.lean
Modified
Mathlib/Analysis/Convex/Slope.lean
Modified
Mathlib/Analysis/Convex/SpecificFunctions/Basic.lean
Modified
Mathlib/Analysis/InnerProductSpace/Adjoint.lean
Modified
Mathlib/Analysis/InnerProductSpace/Basic.lean
Modified
Mathlib/Analysis/InnerProductSpace/TwoDim.lean
Modified
Mathlib/Analysis/InnerProductSpace/l2Space.lean
Modified
Mathlib/Analysis/LocallyConvex/ContinuousOfBounded.lean
Modified
Mathlib/Analysis/MeanInequalities.lean
Modified
Mathlib/Analysis/Normed/Group/AddTorsor.lean
Modified
Mathlib/Analysis/Normed/Group/Basic.lean
Modified
Mathlib/Analysis/Normed/Group/ControlledClosure.lean
Modified
Mathlib/Analysis/Normed/Group/InfiniteSum.lean
Modified
Mathlib/Analysis/Normed/Order/Lattice.lean
Modified
Mathlib/Analysis/NormedSpace/AffineIsometry.lean
Modified
Mathlib/Analysis/NormedSpace/Banach.lean
Modified
Mathlib/Analysis/NormedSpace/BoundedLinearMaps.lean
Modified
Mathlib/Analysis/NormedSpace/ContinuousAffineMap.lean
Modified
Mathlib/Analysis/NormedSpace/Dual.lean
Modified
Mathlib/Analysis/NormedSpace/ENorm.lean
Modified
Mathlib/Analysis/NormedSpace/Extend.lean
Modified
Mathlib/Analysis/NormedSpace/Extr.lean
Modified
Mathlib/Analysis/NormedSpace/FiniteDimension.lean
Modified
Mathlib/Analysis/NormedSpace/HahnBanach/Extension.lean
Modified
Mathlib/Analysis/NormedSpace/Multilinear/Basic.lean
Modified
Mathlib/Analysis/NormedSpace/Multilinear/Curry.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/Bilinear.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/Completeness.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/NormedSpace.lean
Modified
Mathlib/Analysis/NormedSpace/RieszLemma.lean
Modified
Mathlib/Analysis/NormedSpace/Star/Basic.lean
Modified
Mathlib/Analysis/NormedSpace/Star/Multiplier.lean
Modified
Mathlib/Analysis/ODE/PicardLindelof.lean
Modified
Mathlib/Analysis/SpecialFunctions/Bernstein.lean
Modified
Mathlib/Analysis/SpecialFunctions/Exp.lean
Modified
Mathlib/Analysis/SpecialFunctions/Log/Monotone.lean
Modified
Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean
Modified
Mathlib/Analysis/SpecialFunctions/Stirling.lean
Modified
Mathlib/Analysis/SpecificLimits/FloorPow.lean
Modified
Mathlib/CategoryTheory/Abelian/NonPreadditive.lean
Modified
Mathlib/CategoryTheory/Abelian/Transfer.lean
Modified
Mathlib/CategoryTheory/ChosenFiniteProducts/FunctorCategory.lean
Modified
Mathlib/CategoryTheory/Closed/Ideal.lean
Modified
Mathlib/CategoryTheory/ComposableArrows.lean
Modified
Mathlib/CategoryTheory/Galois/Decomposition.lean
Modified
Mathlib/CategoryTheory/Limits/ConeCategory.lean
Modified
Mathlib/CategoryTheory/Limits/Fubini.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/FunctorToTypes.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/NormalMono/Equalizers.lean
Modified
Mathlib/CategoryTheory/Localization/Predicate.lean
Modified
Mathlib/CategoryTheory/Monad/Limits.lean
Modified
Mathlib/CategoryTheory/Sites/SheafOfTypes.lean
Modified
Mathlib/Combinatorics/Additive/SalemSpencer.lean
Modified
Mathlib/Combinatorics/Configuration.lean
Modified
Mathlib/Combinatorics/SimpleGraph/Regularity/Chunk.lean
Modified
Mathlib/Combinatorics/SimpleGraph/Regularity/Energy.lean
Modified
Mathlib/Data/Complex/Exponential.lean
Modified
Mathlib/Data/Complex/Module.lean
Modified
Mathlib/Data/Fin/OrderHom.lean
Modified
Mathlib/Data/Finset/Lattice.lean
Modified
Mathlib/Data/List/EditDistance/Defs.lean
Modified
Mathlib/Data/Set/Card.lean
Modified
Mathlib/Data/ZMod/Basic.lean
Modified
Mathlib/Dynamics/Circle/RotationNumber/TranslationNumber.lean
Modified
Mathlib/FieldTheory/Adjoin.lean
Modified
Mathlib/FieldTheory/ChevalleyWarning.lean
Modified
Mathlib/FieldTheory/Finite/Basic.lean
Modified
Mathlib/FieldTheory/Fixed.lean
Modified
Mathlib/FieldTheory/IsAlgClosed/Classification.lean
Modified
Mathlib/FieldTheory/KummerExtension.lean
Modified
Mathlib/FieldTheory/PolynomialGaloisGroup.lean
Modified
Mathlib/Geometry/Manifold/BumpFunction.lean
Modified
Mathlib/GroupTheory/CoprodI.lean
Modified
Mathlib/GroupTheory/Coxeter/Basic.lean
Modified
Mathlib/GroupTheory/GroupAction/Defs.lean
Modified
Mathlib/GroupTheory/Nilpotent.lean
Modified
Mathlib/GroupTheory/PGroup.lean
Modified
Mathlib/GroupTheory/Perm/Support.lean
Modified
Mathlib/GroupTheory/Schreier.lean
Modified
Mathlib/GroupTheory/Sylow.lean
Modified
Mathlib/GroupTheory/Transfer.lean
Modified
Mathlib/Init/Function.lean
Modified
Mathlib/Lean/Expr/Basic.lean
Modified
Mathlib/LinearAlgebra/BilinearForm/Basic.lean
Modified
Mathlib/LinearAlgebra/Dimension/DivisionRing.lean
Modified
Mathlib/LinearAlgebra/Eigenspace/Basic.lean
Modified
Mathlib/LinearAlgebra/FiniteDimensional.lean
Modified
Mathlib/LinearAlgebra/Matrix/AbsoluteValue.lean
Modified
Mathlib/LinearAlgebra/Matrix/Determinant.lean
Modified
Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean
Modified
Mathlib/MeasureTheory/Constructions/Prod/Basic.lean
Modified
Mathlib/MeasureTheory/Covering/BesicovitchVectorSpace.lean
Modified
Mathlib/MeasureTheory/Covering/Differentiation.lean
Modified
Mathlib/MeasureTheory/Covering/Vitali.lean
Modified
Mathlib/MeasureTheory/Decomposition/UnsignedHahn.lean
Modified
Mathlib/MeasureTheory/Function/AEEqOfIntegral.lean
Modified
Mathlib/MeasureTheory/Function/ConditionalExpectation/Basic.lean
Modified
Mathlib/MeasureTheory/Function/ConditionalExpectation/CondexpL2.lean
Modified
Mathlib/MeasureTheory/Function/ConditionalExpectation/Indicator.lean
Modified
Mathlib/MeasureTheory/Function/ConditionalExpectation/Real.lean
Modified
Mathlib/MeasureTheory/Function/Jacobian.lean
Modified
Mathlib/MeasureTheory/Function/L1Space.lean
Modified
Mathlib/MeasureTheory/Function/SimpleFunc.lean
Modified
Mathlib/MeasureTheory/Group/Action.lean
Modified
Mathlib/MeasureTheory/Group/Measure.lean
Modified
Mathlib/MeasureTheory/Integral/Bochner.lean
Modified
Mathlib/MeasureTheory/Integral/FundThmCalculus.lean
Modified
Mathlib/MeasureTheory/Integral/IntervalIntegral.lean
Modified
Mathlib/MeasureTheory/Integral/Lebesgue.lean
Modified
Mathlib/MeasureTheory/Integral/PeakFunction.lean
Modified
Mathlib/MeasureTheory/Integral/SetIntegral.lean
Modified
Mathlib/MeasureTheory/Integral/SetToL1.lean
Modified
Mathlib/MeasureTheory/Integral/VitaliCaratheodory.lean
Modified
Mathlib/MeasureTheory/Measure/AEMeasurable.lean
Modified
Mathlib/MeasureTheory/Measure/Count.lean
Modified
Mathlib/MeasureTheory/Measure/Doubling.lean
Modified
Mathlib/MeasureTheory/Measure/Hausdorff.lean
Modified
Mathlib/MeasureTheory/Measure/Lebesgue/Basic.lean
Modified
Mathlib/MeasureTheory/Measure/LevyProkhorovMetric.lean
Modified
Mathlib/MeasureTheory/Measure/MeasureSpace.lean
Modified
Mathlib/MeasureTheory/Measure/MeasureSpaceDef.lean
Modified
Mathlib/MeasureTheory/Measure/NullMeasurable.lean
Modified
Mathlib/MeasureTheory/Measure/Regular.lean
Modified
Mathlib/MeasureTheory/Measure/Restrict.lean
Modified
Mathlib/MeasureTheory/Measure/Stieltjes.lean
Modified
Mathlib/MeasureTheory/Measure/Typeclasses.lean
Modified
Mathlib/MeasureTheory/OuterMeasure/Basic.lean
Modified
Mathlib/ModelTheory/DirectLimit.lean
Modified
Mathlib/NumberTheory/BernoulliPolynomials.lean
Modified
Mathlib/NumberTheory/Cyclotomic/Rat.lean
Modified
Mathlib/NumberTheory/DiophantineApproximation.lean
Modified
Mathlib/NumberTheory/Liouville/LiouvilleNumber.lean
Modified
Mathlib/NumberTheory/Modular.lean
Modified
Mathlib/NumberTheory/ModularForms/JacobiTheta/TwoVariable.lean
Modified
Mathlib/NumberTheory/NumberField/Norm.lean
Modified
Mathlib/NumberTheory/Padics/Hensel.lean
Modified
Mathlib/NumberTheory/Padics/PadicNumbers.lean
Modified
Mathlib/NumberTheory/Padics/RingHoms.lean
Modified
Mathlib/NumberTheory/Pell.lean
Modified
Mathlib/NumberTheory/PellMatiyasevic.lean
Modified
Mathlib/Order/JordanHolder.lean
Modified
Mathlib/Probability/Distributions/Poisson.lean
modified
def
ProbabilityTheory.poissonPMFReal
Modified
Mathlib/Probability/Independence/Conditional.lean
Modified
Mathlib/Probability/Kernel/Composition.lean
Modified
Mathlib/Probability/Kernel/IntegralCompProd.lean
Modified
Mathlib/Probability/Kernel/MeasurableIntegral.lean
Modified
Mathlib/Probability/Kernel/WithDensity.lean
Modified
Mathlib/Probability/ProbabilityMassFunction/Monad.lean
Modified
Mathlib/Probability/StrongLaw.lean
Modified
Mathlib/RingTheory/Artinian.lean
Modified
Mathlib/RingTheory/DedekindDomain/Ideal.lean
Modified
Mathlib/RingTheory/EisensteinCriterion.lean
Modified
Mathlib/RingTheory/Flat/Basic.lean
Modified
Mathlib/RingTheory/Ideal/Norm.lean
Modified
Mathlib/RingTheory/IntegralDomain.lean
Modified
Mathlib/RingTheory/IntegralRestrict.lean
Modified
Mathlib/RingTheory/Localization/Basic.lean
Modified
Mathlib/RingTheory/Nilpotent.lean
Modified
Mathlib/RingTheory/Polynomial/Basic.lean
Modified
Mathlib/RingTheory/RootsOfUnity/Basic.lean
Modified
Mathlib/RingTheory/RootsOfUnity/Minpoly.lean
Modified
Mathlib/RingTheory/Trace.lean
Modified
Mathlib/RingTheory/UniqueFactorizationDomain.lean
Modified
Mathlib/RingTheory/Valuation/Basic.lean
Modified
Mathlib/SetTheory/Game/PGame.lean
Modified
Mathlib/SetTheory/Ordinal/FixedPointApproximants.lean
Modified
Mathlib/SetTheory/Ordinal/Notation.lean
Modified
Mathlib/SetTheory/Surreal/Dyadic.lean
Modified
Mathlib/Tactic/FieldSimp.lean
Modified
Mathlib/Tactic/ProxyType.lean
Modified
Mathlib/Testing/SlimCheck/Testable.lean
Modified
Mathlib/Topology/Algebra/Valuation.lean
Modified
Mathlib/Topology/Algebra/ValuedField.lean
Modified
Mathlib/Topology/Baire/CompleteMetrizable.lean
Modified
Mathlib/Topology/Category/Stonean/Limits.lean
Modified
Mathlib/Topology/Category/TopCat/Limits/Products.lean
Modified
Mathlib/Topology/ContinuousFunction/Bounded.lean
Modified
Mathlib/Topology/ContinuousFunction/ZeroAtInfty.lean
Modified
Mathlib/Topology/EMetricSpace/Basic.lean
Modified
Mathlib/Topology/EMetricSpace/Lipschitz.lean
Modified
Mathlib/Topology/EMetricSpace/Paracompact.lean
Modified
Mathlib/Topology/LocallyConstant/Algebra.lean
Modified
Mathlib/Topology/MetricSpace/Antilipschitz.lean
Modified
Mathlib/Topology/MetricSpace/Bounded.lean
Modified
Mathlib/Topology/MetricSpace/Closeds.lean
Modified
Mathlib/Topology/MetricSpace/Contracting.lean
Modified
Mathlib/Topology/MetricSpace/Equicontinuity.lean
Modified
Mathlib/Topology/MetricSpace/GromovHausdorff.lean
Modified
Mathlib/Topology/MetricSpace/GromovHausdorffRealized.lean
Modified
Mathlib/Topology/MetricSpace/HausdorffDimension.lean
Modified
Mathlib/Topology/MetricSpace/HausdorffDistance.lean
Modified
Mathlib/Topology/MetricSpace/PartitionOfUnity.lean
Modified
Mathlib/Topology/MetricSpace/PiNat.lean
Modified
Mathlib/Topology/MetricSpace/Thickening.lean
Modified
Mathlib/Topology/Order/UpperLowerSetTopology.lean
Modified
Mathlib/Topology/TietzeExtension.lean