Commit 2024-11-09 14:40 321f5ba8
View on Github →feat: the adele ring of a number field (#16485) This PR contains the formalisation of the infinite adele ring and the adele ring of a number field.
feat: the adele ring of a number field (#16485) This PR contains the formalisation of the infinite adele ring and the adele ring of a number field.