OAI/Analysis/CircleDomains/Rigidity/EnclosedCrossingSum.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The sum over crossed inner circles is the finite sum of their zero-extended axial increments.

  1. theorem OAI.CircleDomainRigidity.enclosed_crossing_sum line 13