inner_sub_left — Mathlib · SciLib

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

inner_sub_left

Mathlib.Analysis.InnerProductSpace.Basic

URI: https://scilib.ai/kg/mathlib#inner_sub_left

← MathLib Explorer