Coset progression (source code)

= Coset progression
{wiki}

A coset progression is a <sumset> $H+P$, where $H$ is a finite <subgroup> of an <abelian group> and $P$ is a <generalized arithmetic progression>.