OAI/Analysis/LipschitzFree/
466 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- AffineWeights.lean 6 declarations
- Attachment.lean 14 declarations
- BlockBAP.lean 2 declarations
- BlockObstruction.lean 27 declarations
- BlockPaths.lean 8 declarations
- BoxLabels.lean 15 declarations
- Coefficients.lean 23 declarations
- ColorCounting.lean 9 declarations
- CompactApproximation.lean 9 declarations
- Coordinates.lean 22 declarations
- Evaluation.lean 11 declarations
- FiniteQuotients.lean 16 declarations
- Functor.lean 8 declarations
- GraphColoring.lean 11 declarations
- GraphGirth.lean 12 declarations
- GraphSequence.lean 1 declarations
- GraphWalks.lean 13 declarations
- LabelBumps.lean 8 declarations
- Main.lean 13 declarations
- MetricBlock.lean 28 declarations
- MetricClosure.lean 18 declarations
- Model.lean 27 declarations
- Parameters.lean 25 declarations
- PortGraphs.lean 29 declarations
- Renorming.lean 3 declarations
- RenormingModel.lean 6 declarations
- RetainedWedge.lean 15 declarations
- ScalarTests.lean 11 declarations
- SignedTests.lean 14 declarations
- StatePaths.lean 13 declarations
- SupportReduction.lean 5 declarations
- Wedge.lean 21 declarations
- WedgeApproximation.lean 19 declarations
- Words.lean 4 declarations