Theorem Coalgebra.TensorProduct.rid_toLinearEquiv

Modification history