mathlib3
1aa55c2c
- feat(topology/sheaves): The empty component of a sheaf is terminal (#10578)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(topology/sheaves): The empty component of a sheaf is terminal (#10578)
Author
erdOne
Committer
jcommelin
Parents
75cfbb3c
Loading
mathlib3
1aa55c2c - feat(topology/sheaves): The empty component of a sheaf is terminal (#10578)
