Def LinearMap.rtensorHom

Modification history

2023-05-22 12:09

Mathlib/LinearAlgebra/TensorProduct.lean

feat: port LinearAlgebra.Contraction (#4124)

Deleted LinearMap.rtensorHom View on Github →

2023-03-01 07:31

Mathlib/LinearAlgebra/TensorProduct.lean

feat: port LinearAlgebra.TensorProduct (#2539) …

Added LinearMap.rtensorHom View on Github →