Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
category_theory.eq_to_hom_unop
Modification history
2021-01-14 08:39
src/category_theory/eq_to_hom.lean
chore(*): split some long lines (#5742)
Modified
category_theory.eq_to_hom_unop
View on Github →
2020-09-26 10:16
src/category_theory/eq_to_hom.lean
feat(algebraic_geometry/presheafed_space): gluing presheaves (#4198) …
Added
category_theory.eq_to_hom_unop
View on Github →