Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
Top.presheaf_to_Types_map
Modification history
2020-08-28 03:16
src/topology/sheaves/presheaf_of_functions.lean
feat(topology/sheaves): the sheaf condition for functions satisfying a local predicate (#3906) …
Added
Top.presheaf_to_Types_map
View on Github →