OAI/Probability/RadialTransition/CellStability.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RadialTransition.symmetric_row_quadratic line 14
2. theorem OAI.RadialTransition.core_ordered_lower_small_diameter line 40
3. def OAI.RadialTransition.occupation line 81
4. theorem OAI.RadialTransition.sum_occupation line 85
5. theorem OAI.RadialTransition.sum_subtype_le_of_nonneg line 90
6. theorem OAI.RadialTransition.core_ordered_cells line 98
7. theorem OAI.RadialTransition.sum_by_occupation line 132
8. theorem OAI.RadialTransition.lifted_row_quadratic line 145
9. theorem OAI.RadialTransition.modified_energy_cell_bound line 170