OAI/Geometry/Relativity/CKS/AngularSymbols.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CKSADM.angularPower line 12
  2. def OAI.CKSADM.angularNext line 14
  3. lemma OAI.CKSADM.angularNext_smooth line 17
  4. lemma OAI.CKSADM.angularPower_regular line 26
  5. lemma OAI.CKSADM.angularPower_decay line 34
  6. lemma OAI.CKSADM.pd_angularPower line 45
  7. theorem OAI.CKSADM.angularPower_symbol line 54
  8. lemma OAI.CKSADM.norm_power_symbol line 67
  9. lemma OAI.CKSADM.normal_symbol line 73
  10. lemma OAI.CKSADM.SymbolN.word line 79
  11. lemma OAI.CKSADM.symbol_of_words line 90