Theorem TensorProduct.AlgebraTensorModule.rid_eq_rid

Modification history