OAI/Analysis/CircleDomains/Uniformization/MetricBeltramiLinear.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact positive metric-conformality equations for a real differential solving the associated complex Beltrami equation.

  1. lemma OAI.CircleDomainRigidity.metric_gram_of_beltrami_linear line 12