OAI/NumberTheory/Catalan/Arithmetic/
543 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- FinitePlaceAssembly.lean 78 declarations
- FinitePlaceLiminf.lean 4 declarations
- FinitePlaceNumerics.lean 3 declarations
- FinitePlacePartialAssembly.lean 6 declarations
- FixedAuxiliaryIntegerPilot.lean 50 declarations
- FixedCanonicalIntegerBase.lean 7 declarations
- OddPrimeBlockGathering.lean 1 declarations
- OddPrimeCentralZeta.lean 3 declarations
- OddPrimeCentralZetaContraction.lean 31 declarations
- OddPrimeEvenBlockPartition.lean 6 declarations
- OddPrimeEvenStartingZero.lean 28 declarations
- OddPrimeExtractionIndices.lean 13 declarations
- OddPrimeFilterDigits.lean 26 declarations
- OddPrimeGeneralExtraction.lean 4 declarations
- OddPrimeLoss.lean 25 declarations
- OddPrimeLossNormalization.lean 15 declarations
- OddPrimeLowerMomentDigits.lean 23 declarations
- OddPrimeOddBoundaryValuation.lean 60 declarations
- OddPrimePairedColumnIntegrality.lean 19 declarations
- OddPrimePlusStartingDigits.lean 32 declarations
- OddPrimeResidueGathering.lean 1 declarations
- OddPrimeUpperPoolEnumeration.lean 28 declarations
- OddPrimeWeight.lean 16 declarations
- PalindromicPrimeGeom.lean 2 declarations
- PrimeNonvanishing.lean 22 declarations
- SmallOddPrimePartition.lean 40 declarations