Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.sheaf.inter_union_pullback_cone_X

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_cone_XView on Github →