Theorem Coalgebra.TensorProduct.lid_toLinearEquiv

Modification history