chore: reorganization of division algebra file(s) - Githubissues

ImperialCollegeLondon / FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Apache License 2.0

261 stars 48 forks source link

chore: reorganization of division algebra file(s) #209

Closed kbuzzard closed 2 weeks ago