@misc{indiciaed69deafeb165, title = {The Chevalley-Herbrand formula and the real abelian Main Conjecture}, author = {Georges Gras}, year = {2022}, doi = {10.1016/j.jnt.2023.01.002}, url = {https://arxiv.org/abs/2207.13911}, note = {Source identifier: 2207.13911} }