Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-03 11:15 76a3b82d

View on Github →

feat(topology/sheaves/sheaf_condition): Sheaf condition in terms of unique gluing (#6940) As in This PR adds an equivalent sheaf condition for type-valued presheaves, which is hopefully more "hands-on" and easier to work with for concrete type-valued presheaves. I tried to roughly follow the design of the other sheaf conditions.

Estimated changes