Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-05-14 17:09
4125b9ad
View on Github →
chore(category_theory/*): move some elementwise lemmas earlier (
#13998
)
Estimated changes
Modified
src/algebra/category/Module/basic.lean
Modified
src/algebra/category/Mon/basic.lean
Modified
src/algebra/category/Ring/basic.lean
Modified
src/algebra/category/Semigroup/basic.lean
Modified
src/algebraic_geometry/Scheme.lean
Modified
src/algebraic_geometry/Spec.lean
Modified
src/algebraic_geometry/properties.lean
Modified
src/analysis/normed/group/SemiNormedGroup.lean
Modified
src/category_theory/concrete_category/basic.lean
deleted
theorem
category_theory.coe_hom_inv_id
deleted
theorem
category_theory.coe_inv_hom_id
Modified
src/category_theory/concrete_category/elementwise.lean
Created
src/category_theory/elementwise.lean
Modified
src/ring_theory/ideal/local_ring.lean
Modified
src/topology/category/Top/basic.lean
Modified
src/topology/sheaves/sheaf_condition/equalizer_products.lean
Modified
src/topology/sheaves/stalks.lean