Theorem OpenEmbedding.functor_isContinuous

Modification history

2023-11-24 22:08
Mathlib/Topology/Sheaves/SheafCondition/Sites.lean
refactor(CategoryTheory/Sites): continuous functors (#8408) …
Added OpenEmbedding.functor_isContinuousView on Github →