∫ Утверждение Mathlib
instIsIsoFunctorOppositeSheafSheafComposeNatTransPlusPlusAdjunction
Mathlib.CategoryTheory.Sites.PreservesSheafification
URI: https://scilib.ai/kg/mathlib#CategoryTheory.GrothendieckTopology.instIsIsoFunctorOppositeSheafSheafComposeNatTransPlusPlusAdjunction