OAI/MeasureTheory/FalconerCompletion/Recursion/
440 declarations, 0 contain sorry, 0 declared as axioms; 43 files
Files
- AngularMomentLe.lean 8 declarations
- AngularMomentLe2.lean 8 declarations
- AssemblyDescriptorList.lean 10 declarations
- AssemblyDescriptorListCard.lean 7 declarations
- AssemblyListsCard.lean 7 declarations
- BlockDepth.lean 6 declarations
- CellPath.lean 51 declarations
- ClassConditional.lean 42 declarations
- DescriptorGoodNeg.lean 9 declarations
- DescriptorSmooth.lean 7 declarations
- DescriptorValid.lean 4 declarations
- DivisionBlocksControl.lean 7 declarations
- EuclideanFarKernelOccupiedIntegrable.lean 4 declarations
- ExistsFarSeparationPower.lean 6 declarations
- ExistsFarSeparationPower2.lean 6 declarations
- Extend.lean 19 declarations
- FarCommonDepthUpper.lean 4 declarations
- FarDepthRegimeEventually.lean 2 declarations
- FarOffsetBuffer.lean 15 declarations
- FarOriginalSet.lean 3 declarations
- HighDepthGap.lean 18 declarations
- ListSourceSymbol.lean 5 declarations
- MaskScale.lean 11 declarations
- MaskScale2.lean 11 declarations
- NominalRadius.lean 22 declarations
- OccupiedDescendantPath.lean 6 declarations
- OccupiedFarCountTerminal.lean 2 declarations
- PolicyAngular.lean 6 declarations
- PolicyDescriptorAnchorGtStart.lean 7 declarations
- PrefixDepth.lean 5 declarations
- PrefixDescriptors.lean 11 declarations
- PrefixShellLeSourceShellSuccessor.lean 4 declarations
- ProfileLipschitz.lean 15 declarations
- RecursiveEnvironment.lean 19 declarations
- RecursiveLoss.lean 8 declarations
- RecursiveProfileWithOverhead.lean 9 declarations
- RecursiveRules.lean 5 declarations
- RecursiveSuffixRule.lean 5 declarations
- RecursiveUnit.lean 13 declarations
- ResidualAngularTerminal.lean 1 declarations
- SourceSymbol.lean 16 declarations
- TensorCapCompact.lean 7 declarations
- TreeCellMembershipConstantOnFinerGrid.lean 9 declarations