Theorem TensorProduct.directLimitRight_tmul_of

Modification history

2024-07-09 09:09
Mathlib/LinearAlgebra/TensorProduct/DirectLimit.lean
chore: add missing spaces around = or := (#14554) …
Modified TensorProduct.directLimitRight_tmul_ofView on Github →
2023-12-12 07:30
Mathlib/Algebra/Module/DirectLimitAndTensorProduct.lean
feat : direct limit and tensor product commutes (#8473) …
Added TensorProduct.directLimitRight_tmul_ofView on Github →