Page "Dedekind–Carlitz polynomial" not found :(