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

top_mem

Mathlib.Algebra.Module.Submodule.Invariant

URI: https://scilib.ai/kg/mathlib#Module.End.invtSubmodule.top_mem

← MathLib Explorer