Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.Equivalence.sheafCongr.inverse
Modification history
2024-02-14 17:45
Mathlib/CategoryTheory/Sites/Equivalence.lean
feat(CategoryTheory/Sites): add a left version of `sheafCongr` (#10423)
Modified
CategoryTheory.Equivalence.sheafCongr.inverse
View on Github →
2024-01-13 15:06
Mathlib/CategoryTheory/Sites/Equivalence.lean
feat(CategoryTheory): sheafification over essentially small sites (#9523) …
Added
CategoryTheory.Equivalence.sheafCongr.inverse
View on Github →