OAI/Combinatorics/SumProduct/Alignment/CubeLocal08.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FiniteHaarTests.compact_two_scale_uniform line 31
2. theorem OAI.CubeLocalHaar.source_box_family_compact_cube_haar line 99
3. theorem OAI.CubeLocalHaar.source_box_family_bounded_cube_haar line 195