OAI/NumberTheory/DirichletL/Cusp/
283 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- MatrixPhases.lean 97 declarations
- ResiduePhases.lean 34 declarations
- ResiduesModThree.lean 62 declarations
- StaticReflectionPhases.lean 42 declarations
- WeylRepresentatives.lean 48 declarations