OAI/Geometry/IsometricImmersion/Assembly/
201 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- AccumulatingDisks.lean 34 declarations
- AssembledImmersionHeight.lean 1 declarations
- AssemblyProfiles.lean 20 declarations
- DiagonalAmplitudes.lean 3 declarations
- DisjointTensorAssembly.lean 5 declarations
- EnumeratedPatchTensors.lean 28 declarations
- FinalMetric.lean 3 declarations
- FlatPatchSum.lean 14 declarations
- InitialAssemblyMetric.lean 8 declarations
- SelectedPatchObstructions.lean 7 declarations
- SupportedMetricJets.lean 18 declarations
- SupportedNeighborhoods.lean 5 declarations
- SupportedPerturbations.lean 25 declarations
- SupportedSmoothComplete.lean 9 declarations
- TensorSeriesLocality.lean 21 declarations