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

obj_discreteTopology

Mathlib.CategoryTheory.Galois.Topology

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

← MathLib Explorer