`OAI/Geometry/Cannon/`

2980 declarations, 0 contain sorry, 0 declared as axioms; 299 files

Folders

Actions/ 4 files, 108 declarations
Beltrami/ 12 files, 280 declarations
Boundary/ 29 files, 223 declarations
CirclePacking/ 12 files, 158 declarations
Conformal/ 32 files, 521 declarations
Energy/ 25 files, 188 declarations
Flows/ 23 files, 243 declarations
Modulus/ 31 files, 210 declarations
PlanarGraphs/ 25 files, 122 declarations
PlaneTopology/ 67 files, 714 declarations
ScalarLimits/ 18 files, 93 declarations
Topology/ 12 files, 58 declarations
Uniformization/ 7 files, 45 declarations

Files

Main.lean 1 declarations
Model.lean 16 declarations