mathlib3
173a21ab - feat(topology/sheaves): `F(U ⨿ V) = F(U) × F(V)` (#10597)

Commit

4 years ago

feat(topology/sheaves): `F(U ⨿ V) = F(U) × F(V)` (#10597) Co-authored-by: erd1 <the.erd.one@gmail.com>

Author

erdOne

Parents