Loading paper
Divided powers in the Witt ring of symmetric bilinear forms | Tomesphere