OAI/NumberTheory/Ostmann/Characters/TransferAlgebra.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Ostmann.Characters.transfer_left_phase line 9
  2. theorem OAI.Ostmann.Characters.transfer_right_phase line 16
  3. theorem OAI.Ostmann.Characters.transfer_shared_phase line 23
  4. def OAI.Ostmann.Characters.copySign line 30
  5. def OAI.Ostmann.Characters.transferGraph line 32
  6. theorem OAI.Ostmann.Characters.transferGraph_regular line 42
  7. theorem OAI.Ostmann.Characters.transferGraph_shared line 58