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