Def TensorProduct.AlgebraTensorModule.lift.equiv

Modification history