OAI/Probability/GammaPassage/GridGeometry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.GammaFPP.Grid.verticalIntervalEdges line 9
2. lemma OAI.GammaFPP.Grid.verticalIntervalEdges_card line 12
3. def OAI.GammaFPP.Grid.transverseIntervalEdges line 19
4. lemma OAI.GammaFPP.Grid.transverseIntervalEdges_card_le line 22
5. def OAI.GammaFPP.Grid.gridIntervalLower line 36
6. def OAI.GammaFPP.Grid.gridIntervalUpper line 37
7. lemma OAI.GammaFPP.Grid.grid_interval_card line 40