∫ Утверждение Mathlib
basis_repr_tmul
Mathlib.RingTheory.TensorProduct.Free
URI: https://scilib.ai/kg/mathlib#Algebra.TensorProduct.basis_repr_tmul
∫ Утверждение Mathlib
Mathlib.RingTheory.TensorProduct.Free
URI: https://scilib.ai/kg/mathlib#Algebra.TensorProduct.basis_repr_tmul