OAI/Geometry/CAT0Fillings/Minimizers/
39 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- CriticalEnergy.lean 7 declarations
- Euler.lean 5 declarations
- Geometric.lean 3 declarations
- Minimum.lean 4 declarations
- NoLoss.lean 2 declarations
- Nonnegative.lean 3 declarations
- Normalization.lean 3 declarations
- SpatialVariation.lean 9 declarations
- WeakSequence.lean 3 declarations