Theorem Coalgebra.ext_to_ring

Modification history