OAI/MathematicalPhysics/DefocusingNLS/Certificates/SegmentInversePrimitive.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The squared Cauchy kernel has zero integral around a polygon
- theorem
OAI.DefocusingNLS.integral_segment_inv_sqline 12