single_mul_apply_same — Mathlib · SciLib

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

single_mul_apply_same

Mathlib.Data.Matrix.Basis

URI: https://scilib.ai/kg/mathlib#Matrix.single_mul_apply_same

← MathLib Explorer