OAI/Combinatorics/SparsestCut/GaussianNonparallel.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.UniformSparsestCut.GaussianNonparallel.gaussian_inner_zero_measure line 16
2. lemma OAI.UniformSparsestCut.GaussianNonparallel.gaussian_coordinate_ne line 38
3. def OAI.UniformSparsestCut.GaussianNonparallel.cross line 47
4. lemma OAI.UniformSparsestCut.GaussianNonparallel.gaussian_cross_zero_measure line 49
5. lemma OAI.UniformSparsestCut.GaussianNonparallel.ae_cross_ne line 64
6. lemma OAI.UniformSparsestCut.GaussianNonparallel.iid_cross_ne line 69
7. lemma OAI.UniformSparsestCut.GaussianNonparallel.iid_pairwise_nonparallel line 84
8. lemma OAI.UniformSparsestCut.GaussianNonparallel.charts_pairwise_nonparallel line 104