Mathlib v3 is deprecated. Go to Mathlib v4

Def Top.sheaf.is_limit_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.is_limit_pullback_cone View on Github →