`FLT/AutomorphicForm/QuaternionAlgebra/`

314 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Folders

HeckeOperators/ 3 files, 89 declarations

Files

Basic.lean 136 declarations
FiniteDimensional.lean 2 declarations
InnerProduct.lean 87 declarations