OAI/Geometry/Cannon/Energy/MeshEnergySumFilter.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonApprox.meshEnergy_eq_sum_filter line 26
2. lemma OAI.CannonApprox.meshEnergy_mono_set line 36
3. lemma OAI.CannonApprox.oscillation_mono_of_bounded line 48
4. lemma OAI.CannonApprox.meshEnergy_mono_radius line 61