OAI/Analysis/CircleDomains/Rigidity/AxialClosedDiskIntegral.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The integral on an actual outer chord is the corresponding slice of the globally zero-extended source density.

  1. theorem OAI.CircleDomainRigidity.axial_closed_disk_integral line 13