OAI/Geometry/SurfaceImmersion/Primitive/PeriodicFamilySupport.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Local vanishing of smooth periodic coefficient families.

  1. lemma OAI.ClosedSurfaceR4.PeriodicExpansion.Family.angle_zero_at line 16
  2. lemma OAI.ClosedSurfaceR4.PeriodicExpansion.Family.slow_zero_on line 19
  3. lemma OAI.ClosedSurfaceR4.PeriodicExpansion.Family.fluct_zero_at line 25