OAI/Probability/GaussianPropeller/FourCells.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GaussianPropeller.Reduction.triangle_gram line 42
2. lemma OAI.GaussianPropeller.Reduction.residual_fourth_le line 58
3. lemma OAI.GaussianPropeller.Reduction.four_incompatibility line 65