Theorem ContinuousLinearMap.cpolyomialOn_uncurry_of_multilinear

Modification history