OAI/Geometry/CylinderCovering/Radial/RiemannDefinitions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CylinderCovering.RadialRiemann.step line 9

   Also declared: ComparatorChallenges/CylinderCovering.lean:409 (same declaration text).

2. def OAI.CylinderCovering.RadialRiemann.point line 11

   Also declared: ComparatorChallenges/CylinderCovering.lean:411 (same declaration text).

3. def OAI.CylinderCovering.RadialRiemann.cell line 13

   Also declared: ComparatorChallenges/CylinderCovering.lean:413 (same declaration text).

4. def OAI.CylinderCovering.RadialRiemann.IsTagged line 16

   Also declared: ComparatorChallenges/CylinderCovering.lean:416 (same declaration text).

5. def OAI.CylinderCovering.RadialRiemann.capMax line 19

   Also declared: ComparatorChallenges/CylinderCovering.lean:419 (same declaration text).

6. def OAI.CylinderCovering.RadialRiemann.mixedSum line 22
7. def OAI.CylinderCovering.RadialRiemann.collarSum line 26