Theorem Bialgebra.TensorProduct.coalgebra_rid_eq_algebra_rid_apply

Modification history