∫ Утверждение Mathlib
instBoundedOrderSubtypeSubmoduleMemSublattice
Mathlib.RepresentationTheory.Submodule
URI: https://scilib.ai/kg/mathlib#Representation.invtSubmodule.instBoundedOrderSubtypeSubmoduleMemSublattice
∫ Утверждение Mathlib
Mathlib.RepresentationTheory.Submodule
URI: https://scilib.ai/kg/mathlib#Representation.invtSubmodule.instBoundedOrderSubtypeSubmoduleMemSublattice