Commit 2025-12-17 10:18 516a5bed

View on Github →

chore(LinearAlgebra/TensorProduct/Basic): some API for lTensor and rTensor (#32854)

Estimated changes

added theorem LinearMap.lTensor_comm
added theorem LinearMap.rTensor_comm