OAI/Combinatorics/TriangleRemoval/Stability/
109 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- ActiveCavityFactorProduct.lean 4 declarations
- CavityGenerator.lean 18 declarations
- CavityReference.lean 10 declarations
- CavityWeight.lean 6 declarations
- CavityWeightLipschitz.lean 5 declarations
- ContinuousCavityWeightClip.lean 5 declarations
- EdgeStabilityRate.lean 5 declarations
- GeometricVolterraIdentity.lean 5 declarations
- GridCavityError.lean 15 declarations
- GridCavityWeightLower.lean 4 declarations
- MovingPerturbationFiniteExpansion.lean 6 declarations
- MovingResidualForcing.lean 8 declarations
- RelativeTemplateResidual.lean 3 declarations
- Volterra.lean 15 declarations