proving some theorems about number rings directly from the axioms
Primary LanguageLean
No issues in this repository yet.