Loading paper
Inductive graded rings, hyperfields and quadratic forms | Tomesphere