term⟪_,_⟫_[_,_] — Mathlib · SciLib

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

term⟪_,_⟫_[_,_]

Mathlib.Analysis.RCLike.Inner

URI: https://scilib.ai/kg/mathlib#RCLike.term⟪_,_⟫_[_,_]

← MathLib Explorer