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