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

sub

Mathlib.Topology.Algebra.Module.LinearMap

URI: https://scilib.ai/kg/mathlib#ContinuousLinearMap.sub

← MathLib Explorer