Theorem TensorProduct.AlgebraTensorModule.lift_apply

Modification history