A proof of the refined class number formula of Gross - Minoru Hirose (2016)