Theorem TensorProduct.piRightHom_tmul

Modification history

2024-11-14 06:25

Mathlib/LinearAlgebra/TensorProduct/Pi.lean

feat(Algebra/TensorProduct): tensor product commutes with finite products (#18635)

Added TensorProduct.piRightHom_tmul View on Github →