OAI/Geometry/HeilbronnTriangle/WeightedNormalReduction.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.PrimitiveNormal.normalBox line 11
2. lemma OAI.Problem355.PrimitiveNormal.mem_normalBox line 16
3. lemma OAI.Problem355.PrimitiveNormal.normalBox_norm_bounds line 25
4. lemma OAI.Problem355.PrimitiveNormal.exists_normalBox_kernel line 33
5. theorem OAI.Problem355.PrimitiveNormal.weighted_count_le_sum_normal_fibers line 44