`OAI/Geometry/CAT0Fillings/Powers/`

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

Files

Absorption.lean 5 declarations
ClosedLimit.lean 4 declarations
EulerMoments.lean 3 declarations
PolynomialBound.lean 6 declarations
Potential.lean 6 declarations
Slope.lean 11 declarations
Truncated.lean 14 declarations