OAI/Geometry/CAT0Fillings/Euler/
18 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- Contradiction.lean 1 declarations
- Moments.lean 7 declarations
- NormalizedContradiction.lean 2 declarations
- OppositeIntegral.lean 3 declarations
- OppositePointwise.lean 5 declarations