Commit 2025-07-25 10:25 51074329
View on Github →feat(LinearAlgebra/TensorProduct): map f₂ g₂ (map f₁ g₁ x) = map (f₂ ∘ₗ f₁) (g₂ ∘ₗ g₁) x (#27142)
From Toric
feat(LinearAlgebra/TensorProduct): map f₂ g₂ (map f₁ g₁ x) = map (f₂ ∘ₗ f₁) (g₂ ∘ₗ g₁) x (#27142)
From Toric