OAI/NumberTheory/DirichletL/Dictionary/
262 declarations, 0 contain sorry, 0 declared as axioms; 42 files
Files
- InverseAssignedCount.lean 16 declarations
- InverseClippedUniform.lean 20 declarations
- InverseMarkedPadding.lean 16 declarations
- InverseMarkedPhysicalRows.lean 8 declarations
- InverseMarkedReferenceArithmetic.lean 8 declarations
- InverseMarkedReferenceCoefficients.lean 6 declarations
- InverseMarkedReferenceDeleted.lean 5 declarations
- InverseMarkedReferenceDeletedEnergy.lean 2 declarations
- InverseMarkedReferenceDivisors.lean 6 declarations
- InverseMarkedReferenceEnergy.lean 7 declarations
- InverseMarkedReferenceFiber.lean 8 declarations
- InverseMarkedReferenceFiberEnergy.lean 1 declarations
- InverseMarkedReferenceMass.lean 4 declarations
- InverseMarkedReferenceOverlap.lean 4 declarations
- InverseMarkedReferencePaddedEnergy.lean 1 declarations
- InverseMarkedReferencePrimeGates.lean 3 declarations
- InverseMarkedReferenceProducts.lean 10 declarations
- InverseMarkedReferenceReindex.lean 5 declarations
- InverseMarkedReferenceRemaining.lean 6 declarations
- InverseMarkedReferenceShift.lean 4 declarations
- InverseMarkedReferenceSourceEnergy.lean 2 declarations
- InverseMarkedReferenceTuples.lean 9 declarations
- InverseMarkedUniform.lean 11 declarations
- InverseRawCompact.lean 12 declarations
- InverseRawConjugateGates.lean 8 declarations
- InverseRawEnergy.lean 2 declarations
- InverseRawFiberSource.lean 4 declarations
- InverseRawFourier.lean 3 declarations
- InverseRawGeometry.lean 7 declarations
- InverseRawInitialEnergy.lean 4 declarations
- InverseRawInitialGates.lean 15 declarations
- InverseRawInput.lean 5 declarations
- InverseRawInputBound.lean 1 declarations
- InverseRawRadial.lean 3 declarations
- InverseRawRealRadial.lean 2 declarations
- InverseRawReference.lean 2 declarations
- InverseRawUniform.lean 4 declarations
- InverseUniformFamily.lean 5 declarations
- InverseUniformLog.lean 8 declarations
- InverseUniformScale.lean 2 declarations
- InverseUniformSource.lean 7 declarations
- InverseUniformTests.lean 6 declarations