Formalising the Bruhat-Tits Tree

MaRDI QIDQ7177908arXivFDO

Authors Judith Ludwig, Christian Merten

Publication date 2026

Published in arXiv

arXiv classification

math.NT

This page was built for publication: Formalising the Bruhat-Tits Tree

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7177908)