OAI/NumberTheory/DirichletL/Dictionary/InverseMarkedReferenceMass.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.DetectorDictionaryInverseMarkedReference.sum_tuple_real line 13
2. theorem OAI.SevenEighths.DetectorDictionaryInverseMarkedReference.assignedMass_sum_le line 33
3. theorem OAI.SevenEighths.DetectorDictionaryInverseMarkedReference.all_assignedMass_sum_le line 49
4. theorem OAI.SevenEighths.DetectorDictionaryInverseMarkedReference.original_energy_with_assigned_count line 66