∫ Утверждение Mathlib
Mathlib.LinearAlgebra.TensorProduct.Basis
URI: https://scilib.ai/kg/mathlib#Module.Free.tensor
← MathLib Explorer