Loading paper
A quick route to unique factorization in quadratic orders | Tomesphere