OAI/Computability/MinUncut/Analysis/GaussianRows.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.MinUncut.Outer.ProofFamily line 15
2. def OAI.MinUncut.Outer.ProofFamily.rows line 21
3. lemma OAI.MinUncut.Outer.ProofFamily.rows_first_bound line 26
4. lemma OAI.MinUncut.Outer.ProofFamily.rows_second_bound line 33
5. lemma OAI.MinUncut.Outer.ProofFamily.rows_atom_integrable line 40
6. lemma OAI.MinUncut.Outer.ProofFamily.rows_distance_integrable line 49
7. lemma OAI.MinUncut.Outer.rest_card line 59