Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-25 12:34
46974e92
View on Github →
chore: bump aesop; update syntax (
#10955
)
Estimated changes
Modified
Mathlib/Algebra/Algebra/NonUnitalSubalgebra.lean
Modified
Mathlib/Algebra/Algebra/Subalgebra/Basic.lean
Modified
Mathlib/Algebra/Star/Basic.lean
Modified
Mathlib/Algebra/Star/NonUnitalSubalgebra.lean
Modified
Mathlib/Algebra/Star/SelfAdjoint.lean
Modified
Mathlib/Algebra/Star/Subalgebra.lean
Modified
Mathlib/Analysis/Convex/Cone/Basic.lean
Modified
Mathlib/CategoryTheory/Category/Basic.lean
Modified
Mathlib/CategoryTheory/Category/Pairwise.lean
Modified
Mathlib/CategoryTheory/DiscreteCategory.lean
Modified
Mathlib/CategoryTheory/EpiMono.lean
Modified
Mathlib/CategoryTheory/Iso.lean
Modified
Mathlib/CategoryTheory/Limits/Cones.lean
Modified
Mathlib/CategoryTheory/Limits/Constructions/Over/Products.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/BinaryProducts.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/Biproducts.lean
Modified
Mathlib/CategoryTheory/Limits/Shapes/WidePullbacks.lean
Modified
Mathlib/CategoryTheory/Monoidal/Mon_.lean
Modified
Mathlib/CategoryTheory/Sums/Basic.lean
Modified
Mathlib/CategoryTheory/WithTerminal.lean
Modified
Mathlib/Combinatorics/SimpleGraph/Basic.lean
Modified
Mathlib/Data/Finset/Basic.lean
Modified
Mathlib/Data/Finset/Image.lean
Modified
Mathlib/Data/Finset/LocallyFinite/Basic.lean
Modified
Mathlib/Data/Finset/NAry.lean
Modified
Mathlib/Data/Finset/Option.lean
Modified
Mathlib/Data/Finset/Pi.lean
Modified
Mathlib/Data/Finset/Pointwise.lean
Modified
Mathlib/Data/Finset/Powerset.lean
Modified
Mathlib/Data/Finset/Prod.lean
Modified
Mathlib/Data/Finset/Sigma.lean
Modified
Mathlib/Data/Finset/Sups.lean
Modified
Mathlib/Data/Finset/Sym.lean
Modified
Mathlib/Data/Fintype/Basic.lean
Modified
Mathlib/Data/Fintype/Pi.lean
Modified
Mathlib/Data/Matroid/Basic.lean
Modified
Mathlib/Data/Matroid/Dual.lean
Modified
Mathlib/Data/SetLike/Basic.lean
Modified
Mathlib/Data/Sym/Sym2.lean
modified
theorem
Sym2.Rel.symm
Modified
Mathlib/FieldTheory/Subfield.lean
Modified
Mathlib/Geometry/RingedSpace/PresheafedSpace.lean
Modified
Mathlib/Geometry/RingedSpace/PresheafedSpace/HasColimits.lean
Modified
Mathlib/Geometry/RingedSpace/SheafedSpace.lean
Modified
Mathlib/Geometry/RingedSpace/Stalks.lean
Modified
Mathlib/GroupTheory/GroupAction/SubMulAction.lean
Modified
Mathlib/GroupTheory/Subgroup/Basic.lean
Modified
Mathlib/GroupTheory/Submonoid/Basic.lean
Modified
Mathlib/GroupTheory/Subsemigroup/Basic.lean
Modified
Mathlib/LinearAlgebra/Span.lean
Modified
Mathlib/MeasureTheory/Function/SpecialFunctions/Inner.lean
Modified
Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean
Modified
Mathlib/MeasureTheory/Group/Arithmetic.lean
Modified
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
Modified
Mathlib/MeasureTheory/MeasurableSpace/Defs.lean
Modified
Mathlib/MeasureTheory/Measure/MeasureSpaceDef.lean
Modified
Mathlib/RingTheory/Adjoin/Basic.lean
Modified
Mathlib/RingTheory/NonUnitalSubring/Basic.lean
Modified
Mathlib/RingTheory/NonUnitalSubsemiring/Basic.lean
Modified
Mathlib/RingTheory/Subring/Basic.lean
Modified
Mathlib/RingTheory/Subsemiring/Basic.lean
Modified
Mathlib/Tactic/ArithMult.lean
Modified
Mathlib/Tactic/Continuity.lean
Modified
Mathlib/Tactic/Measurability.lean
Modified
Mathlib/Topology/Algebra/Algebra.lean
Modified
Mathlib/Topology/Algebra/Monoid.lean
Modified
Mathlib/Topology/Algebra/StarSubalgebra.lean
Modified
Mathlib/Topology/Sheaves/Presheaf.lean
Modified
lake-manifest.json