OAI/NumberTheory/Ostmann/Preliminaries/ProjectedMass.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Preliminaries.projectedMass line 10
2. theorem OAI.Ostmann.Preliminaries.projectedMass_nonneg line 14
3. theorem OAI.Ostmann.Preliminaries.projectedMass_sum line 18
4. theorem OAI.Ostmann.Preliminaries.projectedMass_eq_zero line 25
5. theorem OAI.Ostmann.Preliminaries.projectedMass_test line 36
6. theorem OAI.Ostmann.Preliminaries.projectedMass_complex_test line 45
7. theorem OAI.Ostmann.Preliminaries.projectedMass_energy line 54
8. theorem OAI.Ostmann.Preliminaries.massEnergy_le_cap line 68