mathlib
d45708fc - feat(topology/sheaves): The empty component of a sheaf is terminal (#10578)

Commit

4 years ago

feat(topology/sheaves): The empty component of a sheaf is terminal (#10578)

Author

erdOne

erdOne

Parents

Loading