Skip to content

chore(LinearAlgebra/TensorProduct/Map): add symm_lTensor and symm_rTensor#41550

Open
ScottCarnahan wants to merge 1 commit into
leanprover-community:masterfrom
ScottCarnahan:ScottCarnahan/TensorMap
Open

chore(LinearAlgebra/TensorProduct/Map): add symm_lTensor and symm_rTensor#41550
ScottCarnahan wants to merge 1 commit into
leanprover-community:masterfrom
ScottCarnahan:ScottCarnahan/TensorMap

Commits

Commits on Jul 9, 2026