Theorem Coalgebra.TensorProduct.assoc_toLinearEquiv

Modification history