Constructible regular polygon (source code)

= Constructible regular polygon

A <constructible regular polygon> is a <regular polygon> admitting a <compass-and-straightedge construction>. The <Gauss-Wantzel theorem> classifies its possible numbers of sides.