OAI/Combinatorics/BalancedRyser/Profiles/ProfileParameterGrids.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Balanced.ProfileParameterGrids.right_rule_error line 10
2. theorem OAI.Balanced.ProfileParameterGrids.right_grid_error line 24
3. theorem OAI.Balanced.ProfileParameterGrids.tendsto_right_grid line 90
4. lemma OAI.Balanced.ProfileParameterGrids.rpow_mapsTo_unit line 111
5. theorem OAI.Balanced.ProfileParameterGrids.tendsto_power_grid line 116
6. theorem OAI.Balanced.ProfileParameterGrids.integral_power_grid_density line 125
7. theorem OAI.Balanced.ProfileParameterGrids.tendsto_power_grid_density line 155
8. theorem OAI.Balanced.ProfileParameterGrids.tendsto_sqrt_two_grid_density line 163
9. theorem OAI.Balanced.ProfileParameterGrids.tendsto_power_grid_density_comp line 173