Theorem OpenEmbedding.functor_isContinuous

Modification history

2024-10-18 21:29
Mathlib/Topology/Sheaves/SheafCondition/Sites.lean
chore: Rename `OpenEmbedding` to `IsOpenEmbedding` (#17898) …
Deleted OpenEmbedding.functor_isContinuousView on Github →
2023-11-24 22:08
Mathlib/Topology/Sheaves/SheafCondition/Sites.lean
refactor(CategoryTheory/Sites): continuous functors (#8408) …
Added OpenEmbedding.functor_isContinuousView on Github →