Def Top.sheaf.inter_union_pullback_cone

Modification history

2021-12-07 14:45
src/topology/sheaves/sheaf_condition/pairwise_intersections.lean
feat(topology/sheaves): `F(U ⨿ V) = F(U) × F(V)` (#10597)
Added Top.sheaf.inter_union_pullback_coneView on Github →