CORRECTIONS AND PRIOR ART

Corrections and prior-art feedback

Substantive corrections, prior-art references, and formalization discrepancies are welcome.

What to include

Identify the exact project, theorem, section, declaration, Card, URL, or PDF page. Explain the issue and provide a public reference where possible.

Please do not send confidential manuscripts, unpublished third-party material, passwords, access tokens, or sensitive personal information.

Send feedback

No automatic confirmation email is sent. Browser confirmation records Formspree acceptance, not delivery of an operator notification email.