Cauchy Crofton Statement

def HumanVerification.CauchyCroftonStatement : Prop

The exact general planar Cauchy--Crofton bridge needed by the wrapper.

Equations

• HumanVerification.CauchyCroftonStatement = ∀ (K : NRR.Geometry.ConvexBody NRR.HumanExport.Plane), (MeasureTheory.Measure.hausdorffMeasure 1) (frontier K.carrier) = ENNReal.ofReal K.perimeter