OAI/NumberTheory/ZetaFive/Identities/Endpoints.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Zeta5.Workers.W20.endpoint_46_5 line 7
  2. theorem OAI.Zeta5.Workers.W20.endpoint_19_2 line 10
  3. theorem OAI.Zeta5.Workers.W20.endpoint_10 line 13
  4. theorem OAI.Zeta5.Workers.W20.endpoint_11 line 16
  5. theorem OAI.Zeta5.Workers.W20.endpoint_12 line 19
  6. theorem OAI.Zeta5.Workers.W20.endpoint_15 line 22
  7. theorem OAI.Zeta5.Workers.W20.endpoint_16 line 25
  8. theorem OAI.Zeta5.Workers.W20.endpoint_18 line 28