OAI/Probability/BinarySweep/YoungTheory/GenericHookAux.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BinaryCoordinateSweeps.GridSplit.conditional_occurring_with_cost line 18
2. theorem OAI.BinaryCoordinateSweeps.GridSplit.occurring_auxiliary_eventually line 61
3. theorem OAI.BinaryCoordinateSweeps.GridSplit.specht_hook_auxiliary_eventually line 157