Theorem LinearEquiv.symm_lTensor

Modification history

2026-07-12 11:31
Mathlib/LinearAlgebra/TensorProduct/Map.lean
chore(LinearAlgebra/TensorProduct/Map): add symm_lTensor and symm_rTensor (#41550) …
Added LinearEquiv.symm_lTensorView on Github →