OAI/Combinatorics/SumProduct/Alignment/CubeLocal07.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ComparableBoxLeibman.halfOpen_bounds_uniform line 26
2. theorem OAI.CubeLocalHaar.smooth_halfOpen_cube_haar_uniform line 88
3. theorem OAI.CubeLocalHaar.source_box_family_local_cube_haar line 175
4. theorem OAI.CubeLocalHaar.source_box_family_factored_cube_haar line 257