Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-12-03 17:46
d45708fc
View on Github →
feat(topology/sheaves): The empty component of a sheaf is terminal (
#10578
)
Estimated changes
Modified
src/category_theory/sites/sheaf.lean
added
def
category_theory.Sheaf.is_terminal_of_bot_cover
Modified
src/topology/sheaves/sheaf_condition/sites.lean
added
def
Top.sheaf.is_terminal_of_empty
added
def
Top.sheaf.is_terminal_of_eq_empty