OAI/Analysis/CircleDomains/Rigidity/QuadrantFlux.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Circle flux expressed on four quarter arcs. This representation uses the same boundary values as the axial slice integrals.

  1. def OAI.CircleDomainRigidity.quadrantSign line 14
  2. def OAI.CircleDomainRigidity.quadrantNormal line 15
  3. def OAI.CircleDomainRigidity.quadrantPoint line 17
  4. def OAI.CircleDomainRigidity.quadrantFlux line 18
  5. theorem OAI.CircleDomainRigidity.quadrantNormal_norm line 22
  6. theorem OAI.CircleDomainRigidity.quadrantFlux_sub_const line 30
  7. theorem OAI.CircleDomainRigidity.quadrantFlux_abs_le line 41
  8. theorem OAI.CircleDomainRigidity.quadrantFlux_near_const line 69