∫ Утверждение Mathlib
instDecompositionArchimedeanClassSubtypeMemSubmoduleBaseDomainStratum'
Mathlib.Algebra.Order.Module.HahnEmbedding
URI: https://scilib.ai/kg/mathlib#HahnEmbedding.ArchimedeanStrata.instDecompositionArchimedeanClassSubtypeMemSubmoduleBaseDomainStratum'