OAI/Geometry/Relativity/CKS/ADMTail.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CKSADM.unitVector line 12
  2. lemma OAI.CKSADM.unitVector_norm line 14
  3. lemma OAI.CKSADM.unitVector_smooth line 17
  4. lemma OAI.CKSADM.norm_radius_sphere line 20
  5. lemma OAI.CKSADM.unitVector_radius line 24
  6. def OAI.CKSADM.cartMass line 27
  7. lemma OAI.CKSADM.cartMass_smooth line 30
  8. lemma OAI.CKSADM.cartMass_radius line 50
  9. def OAI.CKSADM.cartB line 54
  10. lemma OAI.CKSADM.cartB_smooth line 57
  11. def OAI.CKSADM.surfaceEnergy line 64
  12. lemma OAI.CKSADM.surfaceEnergy_eq_reduced line 67
  13. theorem OAI.CKSADM.constructed_ADM_energy line 94