∫ Утверждение Mathlib
instIsTopologicalAddTorsorSubtypeMemSubmoduleDirection
Mathlib.Topology.Algebra.AffineSubspace
URI: https://scilib.ai/kg/mathlib#AffineSubspace.instIsTopologicalAddTorsorSubtypeMemSubmoduleDirection
∫ Утверждение Mathlib
Mathlib.Topology.Algebra.AffineSubspace
URI: https://scilib.ai/kg/mathlib#AffineSubspace.instIsTopologicalAddTorsorSubtypeMemSubmoduleDirection