Def CategoryTheory.Functor.sheafPushforwardContinuous
Modification history
2024-07-06 14:51
Mathlib/CategoryTheory/Sites/Continuous.lean
feat(CategoryTheory/Functor): refactoring Ran (#14291) …
Modified CategoryTheory.Functor.sheafPushforwardContinuousView on Github →