OAI/Analysis/CircleDomains/Selection/VerticalSliceCounts.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Vertical physical slice bounds from planar coarea, with the coordinate axes interchanged.

  1. theorem OAI.CircleDomainRigidity.ae_sphericalVerticalCount_le_density line 19
  2. theorem OAI.CircleDomainRigidity.ae_sphericalVertical_rational_counts line 69