OAI/Probability/RadialTransition/ShellGeometry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RadialTransition.independent_of_simplex_gram line 16
2. theorem OAI.RadialTransition.no_five_unit_shell line 78
3. theorem OAI.RadialTransition.no_five_shell line 112
4. theorem OAI.RadialTransition.shell_edge_bound line 127
5. def OAI.RadialTransition.shellGraph line 143
6. theorem OAI.RadialTransition.shellGraph_cliqueFree line 149