Theorem TensorProduct.AlgebraTensorModule.restrictScalars_curry

Modification history