FormalConjecturesForMathlib/NumberTheory/DirichletCharacter/Basic.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Imports (1)
Imported by 1 file
  1. instance DirichletCharacter.(instance at line 24) line 24 source
  2. instance DirichletCharacter.(instance at line 28) line 28 source