OAI/Geometry/CAT0Fillings/BV/
52 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- JointPoincare.lean 11 declarations
- Oscillation.lean 15 declarations
- Poincare.lean 15 declarations
- WeakCalculus.lean 11 declarations