Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-06-10 06:26
4e816313
View on Github →
chore(*): fix more deprecated dates (
#13674
)
Estimated changes
Modified
Mathlib/Algebra/Order/BigOperators/Ring/Finset.lean
Modified
Mathlib/Algebra/Order/Field/Power.lean
Modified
Mathlib/Algebra/Order/GroupWithZero/Canonical.lean
Modified
Mathlib/Algebra/Order/Module/Defs.lean
Modified
Mathlib/Algebra/Order/Monoid/Unbundled/Pow.lean
Modified
Mathlib/Algebra/Order/Ring/Rat.lean
Modified
Mathlib/Algebra/Polynomial/Div.lean
Modified
Mathlib/Analysis/Calculus/InverseFunctionTheorem/Deriv.lean
Modified
Mathlib/Analysis/Fourier/FourierTransform.lean
Modified
Mathlib/Analysis/LocallyConvex/Basic.lean
Modified
Mathlib/Analysis/Matrix.lean
Modified
Mathlib/Analysis/Normed/Group/Basic.lean
Modified
Mathlib/Analysis/NormedSpace/FiniteDimension.lean
Modified
Mathlib/Analysis/NormedSpace/Int.lean
Modified
Mathlib/Analysis/NormedSpace/LpEquiv.lean
Modified
Mathlib/Analysis/NormedSpace/Multilinear/Basic.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/Basic.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/Bilinear.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/Completeness.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/Mul.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/NNNorm.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/NormedSpace.lean
Modified
Mathlib/Analysis/NormedSpace/OperatorNorm/Prod.lean
Modified
Mathlib/Analysis/NormedSpace/Star/Matrix.lean
Modified
Mathlib/Analysis/NormedSpace/Star/Unitization.lean
Modified
Mathlib/Analysis/SpecialFunctions/Exp.lean
Modified
Mathlib/Analysis/SpecialFunctions/Gaussian/FourierTransform.lean
Modified
Mathlib/Analysis/SpecialFunctions/Log/Deriv.lean
Modified
Mathlib/Analysis/SpecificLimits/Basic.lean
Modified
Mathlib/Analysis/SpecificLimits/Normed.lean
Modified
Mathlib/Data/Countable/Small.lean
Modified
Mathlib/Data/ENNReal/Real.lean
Modified
Mathlib/Data/Finset/Basic.lean
Modified
Mathlib/Data/Finset/Image.lean
Modified
Mathlib/Data/Int/ModEq.lean
Modified
Mathlib/Data/List/Basic.lean
Modified
Mathlib/Data/List/Enum.lean
Modified
Mathlib/Data/List/Infix.lean
Modified
Mathlib/Data/List/Join.lean
Modified
Mathlib/Data/List/Pairwise.lean
modified
theorem
List.pairwise_map'
Modified
Mathlib/Data/Multiset/Basic.lean
Modified
Mathlib/Data/NNRat/Defs.lean
Modified
Mathlib/Data/Nat/Digits.lean
Modified
Mathlib/Data/Real/NNReal.lean
Modified
Mathlib/Data/Set/Basic.lean
Modified
Mathlib/Data/Set/Card.lean
Modified
Mathlib/Data/Set/List.lean
Modified
Mathlib/Data/Subtype.lean
Modified
Mathlib/Deprecated/Submonoid.lean
Modified
Mathlib/Init/Data/Fin/Basic.lean
modified
theorem
Fin.eq_of_veq
modified
theorem
Fin.veq_of_eq
Modified
Mathlib/Init/Data/List/Basic.lean
Modified
Mathlib/Logic/Equiv/Set.lean
Modified
Mathlib/MeasureTheory/Function/L1Space.lean
Modified
Mathlib/MeasureTheory/Function/SimpleFunc.lean
Modified
Mathlib/MeasureTheory/Integral/IntervalIntegral.lean
Modified
Mathlib/MeasureTheory/Integral/SetIntegral.lean
Modified
Mathlib/MeasureTheory/Measure/Haar/Unique.lean
Modified
Mathlib/NumberTheory/Liouville/Residual.lean
Modified
Mathlib/Probability/Kernel/Disintegration/CondCdf.lean
Modified
Mathlib/Probability/Kernel/Disintegration/Density.lean
Modified
Mathlib/Probability/Kernel/IntegralCompProd.lean
Modified
Mathlib/Probability/Martingale/Basic.lean
Modified
Mathlib/RingTheory/UniqueFactorizationDomain.lean
Modified
Mathlib/Topology/ContinuousFunction/ZeroAtInfty.lean
Modified
Mathlib/Topology/GDelta.lean
Modified
Mathlib/Topology/Instances/Int.lean
Modified
Mathlib/Topology/Instances/Real.lean
Modified
Mathlib/Topology/List.lean
Modified
Mathlib/Topology/Maps.lean
Modified
Mathlib/Topology/Order/ProjIcc.lean
Modified
Mathlib/Topology/PartialHomeomorph.lean
Modified
Mathlib/Topology/Separation.lean
Modified
Mathlib/Topology/TietzeExtension.lean
Modified
Mathlib/Topology/UniformSpace/Basic.lean
Modified
Mathlib/Topology/UniformSpace/CompactConvergence.lean
Modified
Mathlib/Topology/UnitInterval.lean