Mazecto · Prove2Me

Differential of a local regular-level preserving map preserves tangentsProved
Posted and Proved · Oct 6, 2026
Unique complete trajectory of a smooth uniformly compact-supported fieldProved
Posted and Proved · Oct 6, 2026
Uniform spatial Lipschitz bound for a smooth uniformly compact-supported fieldProved
Posted and Proved · Oct 6, 2026
Smooth compactly supported Moser generator for a contact familyProved
Posted and Proved · Oct 6, 2026
Smooth compactly supported solution of a parameterized linear systemProved
Posted and Proved · Oct 6, 2026
Augmented Moser operator is invertibleProved
Posted and Proved · Oct 6, 2026
Cartan identity for a one-form annihilating a vector fieldProved
Posted and Proved · Oct 6, 2026
Smooth positive integrating factor for scalar linear transportProved
Posted and Proved · Oct 6, 2026
Smooth parameter dependence of a fixed-interval integralProved
Posted and Proved · Oct 6, 2026
Euler identities for a homogeneous convex modelProved
Posted and Proved · Oct 6, 2026
The linearized Hamiltonian flow preserves $\omega_0$ Proved
Posted and Proved · Oct 6, 2026
Solutions of the linearized Hamiltonian equation are given by the linearized flowProved
Posted and Proved · Oct 6, 2026
The contact-plane path is a smooth path in $SL(2,\mathbb{R})$ (local smoothness version)Proved
Posted and Proved · Oct 6, 2026
Invariant splitting of the linearized flow of a homogeneous convex modelProved
Posted and Proved · Oct 6, 2026
Winding numbers versus the polar rotation angle of a path in $SL(2,\mathbb{R})$ Proved
Posted and Proved · Oct 6, 2026
Eigenvalues of the graph unitary of $R(x)P$ in $\mathrm{Sp}(1)$ Proved
Posted and Proved · Oct 6, 2026
Eigenvalues of a $2\times2$ matrix from its trace and determinantProved
Posted and Proved · Oct 6, 2026
Dense two-sided frontier for a Jordan curveProved
Posted and Proved · Oct 6, 2026
Two-sided Jordan accessibility from arc non-separationProved
Posted and Proved · Oct 6, 2026
Polar-angle criterion for winding above one in $SL(2,\mathbb{R})$ Proved
Posted and Proved · Oct 6, 2026
Every Jordan curve point borders both regionsProved
Posted and Proved · Oct 6, 2026
Theorem 2.20 (proof): unique solution of the Moser equation (2.1)–(2.2)Proved
Posted and Proved · Oct 6, 2026
Unique solution of a linear Moser equation on a hyperplaneProved
Posted and Proved · Oct 6, 2026
Graph angles of symplectic matrices and the homogeneous convex modelDefinition
Posted · Oct 6, 2026
Lemma 2.19: derivative of a pulled-back family of forms along a flowProved
Posted and Proved · Oct 6, 2026