Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-02 03:46
92e16069
View on Github →
chore: bump Std to Std
#340
(
#8104
)
Estimated changes
Modified
Archive/MiuLanguage/DecisionNec.lean
Modified
Mathlib/Algebra/Group/Commute/Units.lean
Modified
Mathlib/Algebra/Hom/Centroid.lean
Modified
Mathlib/Data/Finset/Basic.lean
Modified
Mathlib/Data/Finset/Sym.lean
Modified
Mathlib/Data/Set/Basic.lean
Modified
Mathlib/GroupTheory/Perm/Support.lean
Modified
Mathlib/Init/CCLemmas.lean
Modified
Mathlib/Init/Logic.lean
deleted
theorem
and_self_iff
deleted
theorem
or_self_iff
Modified
Mathlib/NumberTheory/PythagoreanTriples.lean
Modified
Mathlib/Order/Circular.lean
Modified
Mathlib/Order/RelClasses.lean
Modified
Mathlib/RingTheory/Int/Basic.lean
Modified
Mathlib/Topology/Bornology/Constructions.lean
Modified
lake-manifest.json