24. HexResultant: subresultants and discriminants🔗

1. 24.1. Introduction
2. 24.2. The executable API
3. 24.3. Certified pseudo-division algebra
4. 24.4. Integral proof and coefficient embeddings
5. 24.5. Certified chain structure
6. 24.6. The extended chain
7. 24.7. A small exact computation
8. 24.8. The Mathlib correspondence
9. 24.9. Cross-references