Loading paper
A proof of the refined class number formula of Gross | Tomesphere