`OAI/Geometry/CAT0Fillings/Tangent/`

55 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

Blowup.lean 12 declarations
Coordinates.lean 10 declarations
CurrentDensity.lean 9 declarations
Kernel.lean 10 declarations
LocalChart.lean 3 declarations
Quadratic.lean 6 declarations
Transfer.lean 5 declarations