Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.prelocal_predicate.sheafify_of

Modification history

2020-08-31 05:09
src/topology/sheaves/local_predicate.lean
feature(algebraic_geometry/Scheme): the category of schemes (#3961) …
Added Top.prelocal_predicate.sheafify_ofView on Github →