Minimal polynomial of 2cos(2pi/n)

ID: minimal-polynomial-of-2cos-2pi-n

New to topics? Read the docs here!