/axioms

proving some theorems about number rings directly from the axioms

Primary LanguageLean

Watchers