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

bot_mem

Mathlib.Algebra.Module.Submodule.Invariant

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

← MathLib Explorer