OAI/Geometry/PrescribedPotential/KernelCompact.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Kernel Compact.

  1. def OAI.EllipticCompact.kernelOperator line 18
  2. lemma OAI.EllipticCompact.kernelOperator_apply line 30
  3. theorem OAI.EllipticCompact.kernelOperator_compact line 35