Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-19 19:36
5f2c0b74
View on Github →
chore: tidy various files (
#5268
)
Estimated changes
Modified
Mathlib/Algebra/Category/Mon/FilteredColimits.lean
Modified
Mathlib/Algebra/Category/Ring/Limits.lean
Modified
Mathlib/Algebra/Free.lean
Modified
Mathlib/AlgebraicGeometry/PresheafedSpace.lean
Modified
Mathlib/Data/Prod/Basic.lean
Modified
Mathlib/Data/Set/Basic.lean
Modified
Mathlib/GroupTheory/Perm/Basic.lean
Modified
Mathlib/Logic/Basic.lean
Modified
Mathlib/Logic/Function/Basic.lean
Modified
Mathlib/MeasureTheory/Covering/BesicovitchVectorSpace.lean
Modified
Mathlib/Order/Lattice.lean
Modified
Mathlib/Tactic/ToAdditive.lean
Modified
Mathlib/Topology/Order/Basic.lean
deleted
theorem
nhdsWithin_Iio_self_neBot
deleted
theorem
nhdsWithin_Ioi_self_neBot
Modified
Mathlib/Topology/Separation.lean