{"id":"e-e29e2a5899c4b62d","operation":{"operation":"definition_equality"},"operation_detail":null,"conclusion_id":"n-5c55f31aa1da8314","premise_count":0,"theorem":"all-index identity Q_n = P_n certified by exact Ore-algebra division and identifying rows (polytool preserver-image certificate of the identity map)","lean_route":null,"lean_declarations":[],"certificate_hash":"656ff259b259557871ab09e40324ecd44d5a20df38aa51d64ee2cdaf17f1474b","verification_polytool":"replayed","verification_lean":"not_attempted","certificate_kind":"definition_equality","certificate_raw_size":19660,"certificate_compressed_size":3660,"conclusion_name":"shift_x_plus_one of shift_x_plus_one of Triangle read by rows of coefficients of Chebyshev's U(n,x) polynomials (exponents in increasing order).","claims":[],"premises":[],"cited_by":[]}