`FLT/AutomorphicForm/`

394 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Folders

QuaternionAlgebra/ 6 files, 314 declarations

Files

GroupTheoryStuff.lean 47 declarations
Stuff.lean 33 declarations