OAI/Analysis/CircleDomains/Rigidity/ConditionalRigidity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Paper 047-01, Introduction, thm:main. The exact unrestricted removability-to-rigidity theorem from the recorded published inputs.

  1. theorem OAI.CircleDomainRigidity.circleDomainRemovabilityRigidity_of_scalar_solver line 18
  2. theorem OAI.CircleDomainRigidity.circleDomainRemovabilityRigidity_of_constructed_contours line 53
  3. theorem OAI.CircleDomainRigidity.circleDomainRemovabilityRigidity_of_published_inputs line 87