Theorem TensorProduct.lid_eq_rid

Modification history