OAI/MathematicalPhysics/ContinuumCoulomb/Reduction/
604 declarations, 0 contain sorry, 0 declared as axioms; 85 files
Files
- ActualOneBodyParameters.lean 1 declarations
- ActualOneBodyScale.lean 1 declarations
- ActualResidualParameters.lean 2 declarations
- AutomaticCalibrationCorrectness.lean 1 declarations
- AutomaticCalibrationList.lean 10 declarations
- AutomaticCalibrationNormalization.lean 7 declarations
- AutomaticCalibrationParameters.lean 9 declarations
- BinaryAmplification.lean 10 declarations
- BinaryEncoding.lean 25 declarations
- BinaryWellCharges.lean 9 declarations
- CompatibleSlabMesh.lean 2 declarations
- ComputableAmplification.lean 9 declarations
- ComputableHopping.lean 13 declarations
- ComputableResolvent.lean 2 declarations
- ConditionalHardness.lean 2 declarations
- Dilation.lean 23 declarations
- FormStability.lean 9 declarations
- Hardness.lean 2 declarations
- HardnessComposition.lean 2 declarations
- LastTensorFiber.lean 2 declarations
- Model.lean 26 declarations
- OneInputHardness.lean 2 declarations
- Perturbation.lean 33 declarations
- PhysicalGroundComparison.lean 3 declarations
- PhysicalOneElectronLower.lean 7 declarations
- PhysicalThreshold.lean 15 declarations
- PhysicalThresholdOutput.lean 12 declarations
- PublishedFlowInput.lean 4 declarations
- PublishedInputs.lean 9 declarations
- Rationalization.lean 6 declarations
- RemainingInputsHardness.lean 2 declarations
- SourceBondLists.lean 9 declarations
- SourceCalibratedGeometry.lean 4 declarations
- SourceCalibrationBounds.lean 1 declarations
- SourceCloudComparison.lean 1 declarations
- SourceCoefficientRounding.lean 12 declarations
- SourceConditionalReduction.lean 3 declarations
- SourceContactCorrectness.lean 6 declarations
- SourceContactMatrix.lean 1 declarations
- SourceContactTransport.lean 4 declarations
- SourceEncodingSize.lean 9 declarations
- SourceExceptionalVolume.lean 1 declarations
- SourceFinalGraph.lean 14 declarations
- SourceFiniteBounds.lean 3 declarations
- SourceGeometryBounds.lean 6 declarations
- SourceGraphIndex.lean 14 declarations
- SourceGridGeometry.lean 8 declarations
- SourceHamiltonian.lean 24 declarations
- SourceHardness.lean 1 declarations
- SourceHoppingBudget.lean 3 declarations
- SourceHubbardEnergy.lean 4 declarations
- SourceHubbardPromise.lean 1 declarations
- SourceIndexedGeometry.lean 6 declarations
- SourceIndexedSites.lean 7 declarations
- SourceMatrix.lean 6 declarations
- SourceNormalizationCorrectness.lean 7 declarations
- SourceNormalizedLattice.lean 8 declarations
- SourceNormalizedPromise.lean 10 declarations
- SourceNormalizedSpectrum.lean 11 declarations
- SourceParameterSchedule.lean 1 declarations
- SourcePauli.lean 16 declarations
- SourcePhysicalPromise.lean 3 declarations
- SourcePhysicalThreshold.lean 18 declarations
- SourcePositiveBounds.lean 10 declarations
- SourcePositiveCorrectness.lean 13 declarations
- SourcePositiveMargin.lean 6 declarations
- SourcePromise.lean 17 declarations
- SourcePromiseBudget.lean 1 declarations
- SourceSpectrum.lean 19 declarations
- SourceTargetHubbard.lean 5 declarations
- SourceThresholdGap.lean 2 declarations
- SourceUnitCoulomb.lean 12 declarations
- SourceZeroFilter.lean 9 declarations
- TargetHubbardParameters.lean 3 declarations
- ThreeInputsHardness.lean 2 declarations
- Thresholds.lean 5 declarations
- TwoInputsHardness.lean 2 declarations
- UniformAbsoluteNuclearForm.lean 1 declarations
- UniformHubbardParameters.lean 1 declarations
- UniformNuclearForm.lean 1 declarations
- UniformQuadrature.lean 5 declarations
- UniformReciprocal.lean 2 declarations
- UniformSamples.lean 2 declarations
- UniformSamplesOn.lean 3 declarations
- UniformTransformedGauss.lean 1 declarations