Theorem compatiblePreserving_opens_map

Modification history

2023-10-20 14:35
Mathlib/Topology/Sheaves/SheafCondition/Sites.lean
feat(Topology/Sheaves/Functors): Specialize pullback-pushforward adjunction to sheaves over topological spaces. (#7722) …
Added compatiblePreserving_opens_mapView on Github →