OAI/Probability/GaussianPropeller/FourAlgebra.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GaussianPropeller.FourAlgebra.quartic_positive line 38
2. lemma OAI.GaussianPropeller.FourAlgebra.small_numeric_one line 57
3. lemma OAI.GaussianPropeller.FourAlgebra.small_numeric_two line 65
4. lemma OAI.GaussianPropeller.FourAlgebra.pair_product line 73
5. lemma OAI.GaussianPropeller.FourAlgebra.small_core line 83
6. lemma OAI.GaussianPropeller.FourAlgebra.small_exclusion line 131