Mazecto · Prove2Me

The contact-plane component of a finite-energy end satisfies the Cauchy–Riemann equationProved
Posted and Proved · Oct 30, 2026
The asymptotic-operator expression of a contact-plane section stays in the contact planeProved
Posted and Proved · Oct 30, 2026
Hadamard's lemma with parametersProved
Posted and Proved · Oct 30, 2026
Convergence to zero in C^∞ on a cylindrical end for pairsProved
Posted and Proved · Oct 30, 2026
Convergence to zero in C^∞ on a cylindrical end passes to the derivativeProved
Posted and Proved · Oct 30, 2026
Convergence on a half-cylinder from an exponentially small Cauchy–Riemann defectProved
Posted and Proved · Oct 30, 2026
Tube coordinates near a periodic Reeb orbit on a star-shaped levelProved
Posted and Proved · Oct 30, 2026
C-infinity convergence of a periodic map evaluated along a convergent familyProved
Posted and Proved · Oct 30, 2026
Uniform convergence with bounded derivatives gives C-infinity convergence on a cylindrical endProved
Posted and Proved · Oct 30, 2026
Uniform bounds on all derivatives of a smooth periodic map on a tubeProved
Posted and Proved · Oct 30, 2026
Exponential decay on a half-cylinder from an exponentially small Cauchy–Riemann defectProved
Posted and Proved · Oct 30, 2026
Smooth periodic family of roots of a scalar equation near a curve of simple zerosProved
Posted and Proved · Oct 30, 2026
Tangential Cauchy–Riemann defect of an end in tube coordinatesProved
Posted and Proved · Oct 30, 2026
Uniform linear bound for a periodic map vanishing on the zero sectionProved
Posted and Proved · Oct 30, 2026
Exponential decay for linear Cauchy–Riemann equations on an end of a cylinderProved
Posted and Proved · Oct 30, 2026
Nondegeneracy of an asymptotic operator under shift and reversal of the loopProved
Posted and Proved · Oct 30, 2026
Jordan component counting from arc non-separationProved
Posted and Proved · Oct 30, 2026
Two connected components of a Jordan complementProved
Posted and Proved · Oct 30, 2026
Jordan separation into two regionsProved
Posted and Proved · Oct 30, 2026
Jordan curve theoremProved
Posted and Proved · Oct 30, 2026
Pointwise exponential bound for a Lipschitz function dominated by the derivative of an exponentially small functionProved
Posted and Proved · Oct 29, 2026
Exponential decay for a function tending to zero whose derivative dominates its absolute value up to an exponential errorProved
Posted and Proved · Oct 29, 2026
Cauchy–Riemann equations of a J̃-holomorphic curve in the symplectization coordinates along a cylindrical endProved
Posted and Proved · Oct 29, 2026
One-sided exponential bound for a function tending to zero with exponentially small negative derivativeProved
Posted and Proved · Oct 29, 2026
Loop convergence up to phase gives $C^\infty$ convergence of the end up to phaseProved
Posted and Proved · Oct 29, 2026