OAI/Geometry/Cannon/Energy/MeshEnergy.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.CannonApprox.meshEnergyline 21 - lemma
OAI.CannonApprox.meshEnergy_nonnegline 27
OAI/Geometry/Cannon/Energy/MeshEnergy.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.CannonApprox.meshEnergy line 21OAI.CannonApprox.meshEnergy_nonneg line 27