Proofs

2026-05

• Taylor with remainder to order 2

2026-04(1)

• The graph induced by the quadratization process is a DAG