Commit 2024-04-01 16:13 66c48ceb
View on Github →feat: bundled versions of two operations on continuous multilinear maps (#11775)
We provide versions of smulRight
and compContinuousLinearMap
as a continuous bilinear (resp multilinear) map.
feat: bundled versions of two operations on continuous multilinear maps (#11775)
We provide versions of smulRight
and compContinuousLinearMap
as a continuous bilinear (resp multilinear) map.