Theorem TensorProduct.exists_finsupp_left

Modification history

2024-04-14 05:44
Mathlib/LinearAlgebra/TensorProduct/Finiteness.lean
feat(LinearAlgebra/TensorProduct/Finiteness): add some finiteness results of tensor product (#11859) …
Added TensorProduct.exists_finsupp_leftView on Github →