`OAI/Analysis/CircleDomains/`

8332 declarations, 0 contain sorry, 0 declared as axioms; 2639 files

Folders

Modulus/ 266 files, 787 declarations
Probability/ 230 files, 893 declarations
Reflection/ 97 files, 302 declarations
Rigidity/ 227 files, 656 declarations
Selection/ 475 files, 1564 declarations
Sobolev/ 535 files, 1442 declarations
Topology/ 559 files, 1852 declarations
Transfer/ 126 files, 439 declarations
Uniformization/ 120 files, 363 declarations

Files

Development.lean 1582 imports, no declarations
LengthArea.lean 26 declarations
Main.lean 2 declarations
Theorems.lean 6 declarations