OAI/Analysis/CircleDomains/Sobolev/PhysicalCoareaTransport.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact transport of weighted scalar levels and differential energy between the complex chart and the physical Euclidean plane.

  1. lemma OAI.CircleDomainRigidity.complex_weighted_level_eq_physical line 14
  2. lemma OAI.CircleDomainRigidity.complex_weighted_energy_eq_physical line 38