OAI/Analysis/VlasovMaxwell/Geometry/IndexTwoPow.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.index_lt_of_two_pow_le line 38
2. lemma OAI.RVM.cappedRepresentative_mul_pow line 44
3. lemma OAI.RVM.direction_far_indices line 47
4. lemma OAI.RVM.exists_dyadic_count_log line 119
5. lemma OAI.RVM.exists_far_dyadic_count line 136