@hackage oalg-abg1.0.0.0

Finitely generated abelian groups.

oalg-abg

Representing finitely generated abelian groups as finite products of cyclic groups. See the contents in the provided documentation.