OAI/Analysis/CircleDomains/Uniformization/MetricUniformizationModels.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Metric finite models using only the exact finite Jordan specialization.

  1. theorem OAI.CircleDomainRigidity.FiniteTransfer.uniformize_finite_metric_completion_of_jordan_models line 14