Serre's mass formula for totally ramified local-field extensions

Source: url:https://gallica.bnf.fr/ark:/12148/bpt6k6234149b/f323.item Authors: Hyeon Seung-Hyeon Status: verified Main declarations: MassFormula.tsum_one_div_q_pow_c Tags: number-theory, local-fields, ramification, discriminants, haar-measure MSC: 11S15, 11S05