Def Top.presheaf.sheaf_condition_of_sheaf_condition_unique_gluing

Modification history

2021-09-07 00:33

src/topology/sheaves/sheaf_condition/unique_gluing.lean

refactor(topology/sheaves/sheaf_condition): Generalize unique gluing API (#9002) …

Deleted Top.presheaf.sheaf_condition_of_sheaf_condition_unique_gluing View on Github →

2021-04-03 11:15

src/topology/sheaves/sheaf_condition/unique_gluing.lean

feat(topology/sheaves/sheaf_condition): Sheaf condition in terms of unique gluing (#6940) …

Added Top.presheaf.sheaf_condition_of_sheaf_condition_unique_gluing View on Github →