AtticusKuhn / axioms

proving some theorems about number rings directly from the axioms

Geek Repo

Github PK Tool