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

aut_discreteTopology

Mathlib.CategoryTheory.Galois.Topology

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

← MathLib Explorer