Theorem TensorProduct.mapBilinear_apply

Modification history