Mazecto · Prove2Me

Compact trajectory positive clockProved
Posted and Proved · Oct 3, 2026
Convex model radial derivative ne zeroProved
Posted and Proved · Oct 3, 2026
Composition of canonical momentum operatorsProved
Posted · Oct 3, 2026
Weighted radial contact nondegenerateProved
Posted and Proved · Oct 3, 2026
Convex model radial derivative positiveProved
Posted and Proved · Oct 3, 2026
Local max second derivative nonpositiveProved
Posted and Proved · Oct 3, 2026
Exists transverse interior centerProved
Posted and Proved · Oct 3, 2026
Gauge radius frontierProved
Posted and Proved · Oct 3, 2026
Winding interval width of pair boundProved
Posted and Proved · Oct 3, 2026
Weighted sphere contact volumeProved
Posted and Proved · Oct 3, 2026
Convex model contact variation narrow winding intervalProved
Posted and Proved · Oct 3, 2026
Area preserving polar winding widthProved
Posted and Proved · Oct 3, 2026
Radial contact differentiableProved
Posted and Proved · Oct 3, 2026
Continuous angle gap trappedProved
Posted and Proved · Oct 3, 2026
Polar action winding pair boundProved
Posted and Proved · Oct 3, 2026
Convex model contact variation winding intervalProved
Posted and Proved · Oct 3, 2026
Linear action antipodal angleProved
Posted and Proved · Oct 3, 2026
Winding image lower rule threshold iffProved
Posted and Proved · Oct 3, 2026
Convex model contact variation joint polar liftProved
Posted and Proved · Oct 3, 2026
Plane family winding intervalProved
Posted and Proved · Oct 3, 2026
Area preserving polar angle gapProved
Posted and Proved · Oct 3, 2026
Plane linear action joint continuousProved
Posted and Proved · Oct 3, 2026
Winding image strict lower bound iffProved
Posted and Proved · Oct 3, 2026
Convex model contact variation increment uniqueProved
Posted and Proved · Oct 3, 2026
Normalized plane family angle shiftProved
Posted and Proved · Oct 3, 2026