∫ Утверждение Mathlib
toMatrix_apply
Mathlib.LinearAlgebra.AffineSpace.Matrix
URI: https://scilib.ai/kg/mathlib#AffineBasis.toMatrix_apply
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.AffineSpace.Matrix
URI: https://scilib.ai/kg/mathlib#AffineBasis.toMatrix_apply