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

id_val

Mathlib.CategoryTheory.Galois.Prorepresentability

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

← MathLib Explorer