OAI/Geometry/Cannon/Energy/Interior.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.CannonChart.onInteriorline 30 - lemma
OAI.CannonChart.onInterior_applyline 36
OAI/Geometry/Cannon/Energy/Interior.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.CannonChart.onInterior line 30OAI.CannonChart.onInterior_apply line 36