OAI/Analysis/CircleDomains/Uniformization/UniformHeightCloseness.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A common error threshold for all heights in an equicontinuous, normalized family. The threshold may depend on the compact test set.

  1. theorem OAI.CircleDomainRigidity.uniform_height_closeness line 12