∫ Утверждение Mathlib

incl_obj

Mathlib.CategoryTheory.Galois.Prorepresentability

URI: https://scilib.ai/kg/mathlib#CategoryTheory.PreGaloisCategory.PointedGaloisObject.incl_obj

← MathLib Explorer