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

add symm_lTensor and symm_rTensor

ccc9cb5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
GitHub Actions / New Contributor Check completed Jul 9, 2026 in 0s

Found 93 merged PRs by ScottCarnahan.

Found 93 merged PRs by ScottCarnahan.