OAI/Probability/LatticeSurface/Coercivity/SparseParameters.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExtremalEdges.gradientConstant line 9
2. structure OAI.SparseBlocks.Parameters line 15
3. def OAI.SparseBlocks.q line 29
4. lemma OAI.SparseBlocks.q_root line 39
5. lemma OAI.SparseBlocks.exists_window line 46
6. lemma OAI.SparseBlocks.sparse_parameters line 62