∫ Утверждение Mathlib
restrictScalarsRange₂_apply_eq_zero_iff
Mathlib.LinearAlgebra.BilinearMap
URI: https://scilib.ai/kg/mathlib#LinearMap.restrictScalarsRange₂_apply_eq_zero_iff
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.BilinearMap
URI: https://scilib.ai/kg/mathlib#LinearMap.restrictScalarsRange₂_apply_eq_zero_iff