OAI/Analysis/CircleDomains/Topology/FiniteCircleGreenProof.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Discharge of the signed finite-round-hole Green input. The sign is chosen from the outer Jordan circuit before the holes or the form.

  1. lemma OAI.CircleDomainRigidity.unorientedFiniteCircleGreenFormula line 18