Displaying similar documents to “On the defining polynomials of maximal real cyclotomic extensions.”