Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Equivalence.locallyCoverDense
Modification history
2024-07-25 20:13
Mathlib/CategoryTheory/Sites/Equivalence.lean
refactor(CategoryTheory/Sites): Allow non-fully-faithful dense subsites. (#15056)
Deleted
CategoryTheory.Equivalence.locallyCoverDense
View on Github →
2024-01-13 15:06
Mathlib/CategoryTheory/Sites/Equivalence.lean
feat(CategoryTheory): sheafification over essentially small sites (#9523) …
Added
CategoryTheory.Equivalence.locallyCoverDense
View on Github →