9. HexPolyZ: integer dense polynomials🔗

1. 9.1. Introduction
2. 9.2. Integer polynomial type
3. 9.3. Content and primitive part
4. 9.4. Congruence for Hensel lifting
5. 9.5. Content multiplicativity
6. 9.6. The Mignotte coefficient bound
7. 9.7. Key correctness theorems
8. 9.8. The Mathlib correspondence
9. 9.9. Cross-references