Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-20 12:35
3d6731dc
View on Github →
chore: remove superfluous parentheses in calls to
ext
(
#5258
)
Estimated changes
Modified
Archive/Wiedijk100Theorems/Partition.lean
Modified
Mathlib/Algebra/Category/ModuleCat/Adjunctions.lean
Modified
Mathlib/Algebra/Category/Ring/Constructions.lean
Modified
Mathlib/Algebra/DirectSum/Algebra.lean
Modified
Mathlib/Algebra/DirectSum/Ring.lean
Modified
Mathlib/Algebra/GCDMonoid/Basic.lean
Modified
Mathlib/Algebra/Group/Ext.lean
Modified
Mathlib/Algebra/Homology/Homotopy.lean
Modified
Mathlib/Algebra/Lie/Classical.lean
Modified
Mathlib/Algebra/Lie/DirectSum.lean
Modified
Mathlib/Algebra/Lie/OfAssociative.lean
Modified
Mathlib/Algebra/Lie/TensorProduct.lean
Modified
Mathlib/Algebra/Lie/Weights.lean
Modified
Mathlib/Algebra/Module/GradedModule.lean
Modified
Mathlib/Algebra/MonoidAlgebra/Basic.lean
Modified
Mathlib/Algebra/Polynomial/GroupRingAction.lean
Modified
Mathlib/AlgebraicTopology/DoldKan/Homotopies.lean
Modified
Mathlib/Analysis/Analytic/Composition.lean
Modified
Mathlib/Analysis/Calculus/ContDiff.lean
Modified
Mathlib/Analysis/Calculus/ContDiffDef.lean
Modified
Mathlib/Analysis/Complex/Isometry.lean
Modified
Mathlib/Analysis/InnerProductSpace/PiL2.lean
Modified
Mathlib/Analysis/InnerProductSpace/TwoDim.lean
Modified
Mathlib/Analysis/NormedSpace/Multilinear.lean
Modified
Mathlib/Analysis/Seminorm.lean
Modified
Mathlib/CategoryTheory/Preadditive/HomOrthogonal.lean
Modified
Mathlib/CategoryTheory/Sites/Closed.lean
Modified
Mathlib/CategoryTheory/Sites/DenseSubsite.lean
Modified
Mathlib/CategoryTheory/Sites/SheafOfTypes.lean
Modified
Mathlib/CategoryTheory/Sites/Subsheaf.lean
Modified
Mathlib/Combinatorics/SimpleGraph/AdjMatrix.lean
Modified
Mathlib/Combinatorics/SimpleGraph/Basic.lean
Modified
Mathlib/Combinatorics/SimpleGraph/Hasse.lean
Modified
Mathlib/Combinatorics/SimpleGraph/IncMatrix.lean
Modified
Mathlib/Control/Functor/Multivariate.lean
Modified
Mathlib/Control/LawfulFix.lean
Modified
Mathlib/Data/Complex/Module.lean
Modified
Mathlib/Data/Dfinsupp/Basic.lean
modified
def
Dfinsupp.extendWith
Modified
Mathlib/Data/Dfinsupp/Interval.lean
Modified
Mathlib/Data/FinEnum.lean
Modified
Mathlib/Data/Finset/Pi.lean
Modified
Mathlib/Data/Finsupp/Indicator.lean
Modified
Mathlib/Data/Finsupp/ToDfinsupp.lean
Modified
Mathlib/Data/Holor.lean
Modified
Mathlib/Data/Matrix/Basic.lean
Modified
Mathlib/Data/Matrix/Basis.lean
Modified
Mathlib/Data/Matrix/Block.lean
Modified
Mathlib/Data/Matrix/Kronecker.lean
Modified
Mathlib/Data/Matrix/Notation.lean
Modified
Mathlib/Data/Matrix/PEquiv.lean
Modified
Mathlib/Data/Multiset/Pi.lean
Modified
Mathlib/Data/MvPolynomial/Equiv.lean
Modified
Mathlib/Data/Nat/Bits.lean
Modified
Mathlib/Data/Nat/Hyperoperation.lean
Modified
Mathlib/Data/Nat/Interval.lean
Modified
Mathlib/Data/Nat/Upto.lean
Modified
Mathlib/Data/PEquiv.lean
Modified
Mathlib/Data/PFunctor/Multivariate/W.lean
Modified
Mathlib/Data/Polynomial/HasseDeriv.lean
Modified
Mathlib/Data/QPF/Multivariate/Constructions/Fix.lean
Modified
Mathlib/Data/Rel.lean
Modified
Mathlib/Data/TypeVec.lean
Modified
Mathlib/GroupTheory/DoubleCoset.lean
Modified
Mathlib/GroupTheory/FreeAbelianGroupFinsupp.lean
Modified
Mathlib/GroupTheory/FreeProduct.lean
Modified
Mathlib/GroupTheory/Perm/Basic.lean
Modified
Mathlib/LinearAlgebra/AffineSpace/Matrix.lean
Modified
Mathlib/LinearAlgebra/AffineSpace/Slope.lean
Modified
Mathlib/LinearAlgebra/Basic.lean
Modified
Mathlib/LinearAlgebra/BilinearMap.lean
Modified
Mathlib/LinearAlgebra/Contraction.lean
Modified
Mathlib/LinearAlgebra/Determinant.lean
Modified
Mathlib/LinearAlgebra/DirectSum/TensorProduct.lean
Modified
Mathlib/LinearAlgebra/Dual.lean
Modified
Mathlib/LinearAlgebra/Eigenspace/Basic.lean
Modified
Mathlib/LinearAlgebra/Finsupp.lean
Modified
Mathlib/LinearAlgebra/Matrix/Adjugate.lean
Modified
Mathlib/LinearAlgebra/Matrix/Basis.lean
Modified
Mathlib/LinearAlgebra/Matrix/BilinearForm.lean
Modified
Mathlib/LinearAlgebra/Matrix/Block.lean
Modified
Mathlib/LinearAlgebra/Matrix/Charpoly/Basic.lean
Modified
Mathlib/LinearAlgebra/Matrix/Circulant.lean
Modified
Mathlib/LinearAlgebra/Matrix/Determinant.lean
Modified
Mathlib/LinearAlgebra/Matrix/Dual.lean
Modified
Mathlib/LinearAlgebra/Matrix/Hermitian.lean
Modified
Mathlib/LinearAlgebra/Matrix/IsDiag.lean
Modified
Mathlib/LinearAlgebra/Matrix/LDL.lean
Modified
Mathlib/LinearAlgebra/Matrix/SesquilinearForm.lean
Modified
Mathlib/LinearAlgebra/Matrix/SpecialLinearGroup.lean
Modified
Mathlib/LinearAlgebra/Matrix/Spectrum.lean
Modified
Mathlib/LinearAlgebra/Matrix/ToLin.lean
Modified
Mathlib/LinearAlgebra/Matrix/Transvection.lean
Modified
Mathlib/LinearAlgebra/Multilinear/Basic.lean
Modified
Mathlib/LinearAlgebra/Pi.lean
Modified
Mathlib/LinearAlgebra/QuadraticForm/Basic.lean
Modified
Mathlib/LinearAlgebra/SesquilinearForm.lean
Modified
Mathlib/LinearAlgebra/StdBasis.lean
Modified
Mathlib/LinearAlgebra/TensorPower.lean
Modified
Mathlib/LinearAlgebra/TensorProduct.lean
Modified
Mathlib/LinearAlgebra/TensorProduct/Matrix.lean
Modified
Mathlib/LinearAlgebra/Trace.lean
Modified
Mathlib/LinearAlgebra/Vandermonde.lean
Modified
Mathlib/MeasureTheory/Measure/Lebesgue/Basic.lean
Modified
Mathlib/Order/Hom/Basic.lean
Modified
Mathlib/Order/Lattice.lean
Modified
Mathlib/Order/LocallyFinite.lean
Modified
Mathlib/Order/RelIso/Basic.lean
Modified
Mathlib/Probability/Kernel/WithDensity.lean
Modified
Mathlib/RepresentationTheory/Basic.lean
Modified
Mathlib/RingTheory/GradedAlgebra/Basic.lean
Modified
Mathlib/RingTheory/IsTensorProduct.lean
Modified
Mathlib/RingTheory/PolynomialAlgebra.lean
Modified
Mathlib/RingTheory/TensorProduct.lean
Modified
Mathlib/SetTheory/Ordinal/Arithmetic.lean
Modified
Mathlib/Topology/MetricSpace/Basic.lean
Modified
Mathlib/Topology/PathConnected.lean