OAI/NumberTheory/Ostmann/Construction/SelectedCellSources.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Construction.balancedCellSource line 13
2. theorem OAI.Ostmann.Construction.balancedCellSource_probability line 17
3. theorem OAI.Ostmann.Construction.balancedCellSource_mass line 22
4. theorem OAI.Ostmann.Construction.balancedCellSource_avoids line 29
5. abbrev OAI.Ostmann.Construction.AuxiliaryIndex line 34
6. theorem OAI.Ostmann.Construction.card_auxiliaryIndex line 36
7. def OAI.Ostmann.Construction.NominalCenterArray.topSource line 43
8. def OAI.Ostmann.Construction.NominalCenterArray.compSource line 46
9. def OAI.Ostmann.Construction.NominalCenterArray.auxSource line 50
10. def OAI.Ostmann.Construction.NominalCenterArray.sources line 53
11. def OAI.Ostmann.Construction.NominalCenterArray.center line 57
12. theorem OAI.Ostmann.Construction.NominalCenterArray.auxSource_balanced line 60
13. theorem OAI.Ostmann.Construction.NominalCenterArray.center_top line 67
14. theorem OAI.Ostmann.Construction.NominalCenterArray.center_comp line 71