OAI/Analysis/CoulombIonization/FormDomain/
540 declarations, 0 contain sorry, 0 declared as axioms; 49 files
Files
- ActualMasterCenterComparison.lean 5 declarations
- ApproximateLipschitz.lean 5 declarations
- BindingSums.lean 9 declarations
- BlockEnergetics.lean 7 declarations
- BlockWedge.lean 4 declarations
- CoerciveOperator.lean 16 declarations
- CoherentHilbert.lean 15 declarations
- CoherentLimitInsertion.lean 4 declarations
- CoherentSchwartz.lean 13 declarations
- CompCL.lean 3 declarations
- CompactEigenbasis.lean 26 declarations
- CoreKinetic.lean 15 declarations
- CoreSliceMassIntegrable.lean 5 declarations
- CosetWedge.lean 12 declarations
- CoulombCoercivity.lean 26 declarations
- FermionDensityMass.lean 4 declarations
- FermionicDensity.lean 14 declarations
- FiniteFermionEnsemble.lean 4 declarations
- Form.lean 26 declarations
- FormBody.lean 29 declarations
- FormBottom.lean 15 declarations
- FormRawPotential.lean 8 declarations
- Forms.lean 11 declarations
- FourierMomentGradient.lean 8 declarations
- FullSpectral.lean 11 declarations
- GradientVector.lean 5 declarations
- GraphWeightIntegral.lean 14 declarations
- InnerLinearCap.lean 1 declarations
- L2.lean 15 declarations
- LipschitzResidualBase.lean 15 declarations
- LipschitzWeak.lean 6 declarations
- PhysicalGrid.lean 9 declarations
- Restriction.lean 7 declarations
- ShiftedCoulombIntegrable.lean 4 declarations
- ShiftedFormBottom.lean 2 declarations
- Slater.lean 2 declarations
- SobolevVector.lean 7 declarations
- SumForm.lean 7 declarations
- TrialSmoothTest.lean 30 declarations
- UnboundedSpectrum.lean 14 declarations
- UniformFormResidual.lean 3 declarations
- WeakChangeVariables.lean 32 declarations
- WeakComparison.lean 3 declarations
- WeakDerivative.lean 24 declarations
- WeakDerivativeSmulL2.lean 5 declarations
- WeakDirectionalDerivative.lean 31 declarations
- WeakL2PartialDerivative.lean 2 declarations
- WeakMaximum.lean 5 declarations
- WeakProduct.lean 2 declarations