Browse
1217 modules · 20,456 declarations
QuantumInfo
QuantumInfo.Regularized14QuantumInfo.Channels.Bundled1QuantumInfo.Channels.CPTP4QuantumInfo.Channels.MatrixMap2QuantumInfo.Channels.Unbundled4QuantumInfo.ClassicalInfo.Channel2QuantumInfo.ClassicalInfo.Distribution39QuantumInfo.ClassicalInfo.Entropy14QuantumInfo.ClassicalInfo.Prob77QuantumInfo.Entropy.DPI51QuantumInfo.Entropy.Relative2QuantumInfo.Entropy.VonNeumann1QuantumInfo.Finite.Braket49QuantumInfo.Finite.Capacity17QuantumInfo.Finite.Ensemble37QuantumInfo.Finite.Entanglement19QuantumInfo.Finite.MState126QuantumInfo.Finite.Pinching24QuantumInfo.Finite.POVM8QuantumInfo.Finite.Unitary9QuantumInfo.ForMathlib.ComplexLaplaceTransform9QuantumInfo.ForMathlib.ContinuousLinearMap4QuantumInfo.ForMathlib.ContinuousSup20QuantumInfo.ForMathlib.Filter2QuantumInfo.ForMathlib.IsMaximalSelfAdjoint4QuantumInfo.ForMathlib.Isometry42QuantumInfo.ForMathlib.LimSupInf13QuantumInfo.ForMathlib.LinearEquiv10QuantumInfo.ForMathlib.Majorization37QuantumInfo.ForMathlib.Matrix92QuantumInfo.ForMathlib.Minimax8QuantumInfo.ForMathlib.Misc9QuantumInfo.ForMathlib.SionMinimax31QuantumInfo.ForMathlib.Superadditive5QuantumInfo.ForMathlib.ULift11QuantumInfo.ForMathlib.Unitary5QuantumInfo.Measurements.POVM1QuantumInfo.Operators.Unitary3QuantumInfo.ResourceTheory.HypothesisTesting1QuantumInfo.ResourceTheory.SteinsLemma7QuantumInfo.StatMech.Hamiltonian4QuantumInfo.StatMech.IdealGas5QuantumInfo.StatMech.ThermoQuantities12QuantumInfo.Finite.Channel.DegradableOrder1QuantumInfo.Finite.CPTPMap.Bundled51QuantumInfo.Finite.CPTPMap.CPTP61QuantumInfo.Finite.CPTPMap.Dual32QuantumInfo.Finite.CPTPMap.MatrixMap34QuantumInfo.Finite.CPTPMap.Unbundled58QuantumInfo.Finite.Distance.Fidelity8QuantumInfo.Finite.Distance.TraceDistance5QuantumInfo.Finite.Entropy.DPI35QuantumInfo.Finite.Entropy.Relative55QuantumInfo.Finite.Entropy.SSA43QuantumInfo.Finite.Entropy.VonNeumann23QuantumInfo.Finite.Qubit.Basic34QuantumInfo.Finite.ResourceTheory.FreeState49QuantumInfo.Finite.ResourceTheory.HypothesisTesting22QuantumInfo.Finite.ResourceTheory.SteinsLemma8QuantumInfo.ForMathlib.HermitianMat.Basic124QuantumInfo.ForMathlib.HermitianMat.CFC92QuantumInfo.ForMathlib.HermitianMat.CompoundMatrix4QuantumInfo.ForMathlib.HermitianMat.Inner50QuantumInfo.ForMathlib.HermitianMat.Jordan19QuantumInfo.ForMathlib.HermitianMat.LiebConcavity10QuantumInfo.ForMathlib.HermitianMat.LogExp42QuantumInfo.ForMathlib.HermitianMat.NonSingular33QuantumInfo.ForMathlib.HermitianMat.Order55QuantumInfo.ForMathlib.HermitianMat.Peierls5QuantumInfo.ForMathlib.HermitianMat.Proj64QuantumInfo.ForMathlib.HermitianMat.Reindex15QuantumInfo.ForMathlib.HermitianMat.Rpow50QuantumInfo.ForMathlib.HermitianMat.Schatten14QuantumInfo.ForMathlib.HermitianMat.Sqrt10QuantumInfo.ForMathlib.HermitianMat.Trace34QuantumInfo.ForMathlib.HermitianMat.Unitary10QuantumInfo.ForMathlib.MatrixNorm.TraceNorm25QuantumInfo.ForMathlib.Tactic.Commutes2QuantumInfo.States.Mixed.Fidelity1QuantumInfo.States.Mixed.MState3QuantumInfo.States.Pure.Braket4QuantumInfo.ForMathlib.HayataGroup.TraceInequality.BlockDiagonal22QuantumInfo.ForMathlib.HayataGroup.TraceInequality.GeneralizedPerspectiveFunction14QuantumInfo.ForMathlib.HayataGroup.TraceInequality.HilbertSchmidtOperatorSpace55QuantumInfo.ForMathlib.HayataGroup.TraceInequality.JensenOperatorInequality8QuantumInfo.ForMathlib.HayataGroup.TraceInequality.JensenOperatorInequalityIImpIV10QuantumInfo.ForMathlib.HayataGroup.TraceInequality.JensenOperatorInequalityIVtoV7QuantumInfo.ForMathlib.HayataGroup.TraceInequality.LiebAndoTrace14QuantumInfo.ForMathlib.HayataGroup.TraceInequality.LownerHeinzCore43QuantumInfo.ForMathlib.HayataGroup.TraceInequality.LownerHeinzTheorem35QuantumInfo.ForMathlib.HayataGroup.TraceInequality.OperatorGeometricMean3QuantumInfo.ClassicalInfo.ForMathlib.Analysis.SpecialFunctions.Log.NegMulLog3
Physlib
Physlib.ClassicalMechanics.EulerLagrange4Physlib.ClassicalMechanics.Force5Physlib.ClassicalMechanics.HamiltonsEquations4Physlib.Electromagnetism.Basic4Physlib.FluidDynamics.FluidState7Physlib.Mathematics.ConjModule9Physlib.Mathematics.CrossProduct3Physlib.Mathematics.CrossProductMatrix6Physlib.Mathematics.FDerivCurry24Physlib.Mathematics.Fin36Physlib.Mathematics.HasTemperateGrowth1Physlib.Mathematics.KroneckerDelta16Physlib.Mathematics.LinearMaps38Physlib.Mathematics.LinearPMap55Physlib.Mathematics.List58Physlib.Mathematics.OrthogonalMatrix1Physlib.Mathematics.PiTensorProduct22Physlib.Mathematics.RatComplexNum20Physlib.Mathematics.Resolvent7Physlib.Mathematics.SchurTriangulation15Physlib.Meta.AllFilePaths3Physlib.Meta.Basic27Physlib.Meta.Sorry8Physlib.Meta.TransverseTactics4Physlib.QuantumMechanics.FiniteTarget3Physlib.QuantumMechanics.PlanckConstant9Physlib.Relativity.CliffordAlgebra28Physlib.Relativity.MinkowskiMatrix24Physlib.Relativity.SpeedOfLight6Physlib.SpaceAndTime.ReferenceFrame21Physlib.StatisticalMechanics.BoltzmannConstant5Physlib.Units.Basic30Physlib.Units.Dimension45Physlib.Units.Examples22Physlib.Units.Exponent53Physlib.Units.FDeriv3Physlib.Units.Integral3Physlib.Units.ISQBridge13Physlib.Units.ISQDimensionBase10Physlib.Units.LTMCTDimensionBase26Physlib.Units.ParametricDimensionExamples4Physlib.Units.ParametricUnits6Physlib.Units.PositiveRealUnit19Physlib.Units.SIUnitChoices29Physlib.Units.UnitDependent39Physlib.Units.UnitSystem9Physlib.ClassicalFieldTheory.Local.Variation14Physlib.ClassicalMechanics.DampedHarmonicOscillator.Basic52Physlib.ClassicalMechanics.DampedHarmonicOscillator.Solution15Physlib.ClassicalMechanics.FreeParticle.Basic10Physlib.ClassicalMechanics.HamiltonianMechanics.PoissonBracket8Physlib.ClassicalMechanics.HarmonicOscillator.Basic49Physlib.ClassicalMechanics.HarmonicOscillator.ConfigurationSpace41Physlib.ClassicalMechanics.HarmonicOscillator.Solution42Physlib.ClassicalMechanics.HarmonicOscillator.WithDim8Physlib.ClassicalMechanics.Lagrangian.TotalDerivativeEquivalence8Physlib.ClassicalMechanics.Mass.MassUnit31Physlib.ClassicalMechanics.OrbitalMechanics.VisViva2Physlib.ClassicalMechanics.Pendulum.CoplanarDoublePendulum1Physlib.ClassicalMechanics.Pendulum.SlidingPendulum1Physlib.ClassicalMechanics.PointParticle.Basic6Physlib.ClassicalMechanics.RigidBody.AngularMomentum2Physlib.ClassicalMechanics.RigidBody.AngularVelocity22Physlib.ClassicalMechanics.RigidBody.Basic32Physlib.ClassicalMechanics.RigidBody.KineticEnergy9Physlib.ClassicalMechanics.RigidBody.Motion21Physlib.ClassicalMechanics.RigidBody.SolidSphere4Physlib.ClassicalMechanics.WaveEquation.Basic21Physlib.ClassicalMechanics.WaveEquation.HarmonicWave4Physlib.CondensedMatter.Thermoelectric.Basic8Physlib.CondensedMatter.TightBindingChain.Basic25Physlib.Cosmology.FLRW.Basic19Physlib.Cosmology.FLRW.MatterContent16Physlib.Cosmology.FLRW.Solutions33Physlib.Electromagnetism.Charge.ChargeUnit17Physlib.Electromagnetism.Current.InfiniteWire15Physlib.Electromagnetism.Distributional.Basic10Physlib.Electromagnetism.Dynamics.Basic8Physlib.Electromagnetism.Dynamics.CurrentDensity16Physlib.Electromagnetism.Dynamics.Hamiltonian8Physlib.Electromagnetism.Dynamics.IsExtrema16Physlib.Electromagnetism.Dynamics.KineticTerm30Physlib.Electromagnetism.Dynamics.Lagrangian27Physlib.Electromagnetism.Kinematics.Boosts4Physlib.Electromagnetism.Kinematics.ElectricField20Physlib.Electromagnetism.Kinematics.EMPotential46Physlib.Electromagnetism.Kinematics.FieldStrength42Physlib.Electromagnetism.Kinematics.GaugeTransformation18Physlib.Electromagnetism.Kinematics.MagneticField30Physlib.Electromagnetism.Kinematics.ScalarPotential8Physlib.Electromagnetism.Kinematics.VectorPotential12Physlib.Electromagnetism.PointParticle.OneDimension13Physlib.Electromagnetism.PointParticle.ThreeDimension13Physlib.Electromagnetism.ThreeDimension.Basic2Physlib.Electromagnetism.ThreeDimension.MaxwellEquations4Physlib.Electromagnetism.Vacuum.Constant9Physlib.Electromagnetism.Vacuum.HarmonicWave24Physlib.Electromagnetism.Vacuum.IsPlaneWave23Physlib.FluidDynamics.CauchyFlow.BodyForce2Physlib.FluidDynamics.CauchyFlow.Inviscid3Physlib.FluidDynamics.CauchyFlow.Momentum3Physlib.FluidDynamics.CauchyFlow.NavierStokes1Physlib.FluidDynamics.CauchyFlow.Newtonian1Physlib.FluidDynamics.Euler.Basic3Physlib.FluidDynamics.FluidFlow.Continuity4Physlib.FluidDynamics.FluidFlow.Incompressible4Physlib.FluidDynamics.FluidFlow.Kinematics2Physlib.FluidDynamics.FluidFlow.Momentum9Physlib.FluidDynamics.FluidFlow.Newtonian2Physlib.FluidDynamics.NavierStokes.Basic3Physlib.FluidDynamics.NavierStokes.Continuity4Physlib.FluidDynamics.NavierStokes.Momentum14Physlib.FluidDynamics.ThermodynamicCauchyFlow.Bernoulli3Physlib.FluidDynamics.ThermodynamicCauchyFlow.Isentropic1Physlib.Mathematics.Calculus.AdjFDeriv32Physlib.Mathematics.Calculus.Divergence11Physlib.Mathematics.Calculus.Gradient12Physlib.Mathematics.Calculus.ParametricIntegration6Physlib.Mathematics.Distribution.Basic24Physlib.Mathematics.Distribution.PowMul3Physlib.Mathematics.Fin.Involutions22Physlib.Mathematics.ForMathlib.ComplexLinear4Physlib.Mathematics.ForMathlib.LinearPMap1Physlib.Mathematics.ForMathlib.List1Physlib.Mathematics.InnerProductSpace.Adjoint18Physlib.Mathematics.InnerProductSpace.Basic45Physlib.Mathematics.InnerProductSpace.Calculus5Physlib.Mathematics.InnerProductSpace.Gaussian5Physlib.Mathematics.InnerProductSpace.Submodule7Physlib.Mathematics.KroneckerDelta.Basic4Physlib.Mathematics.KroneckerDelta.Contraction8Physlib.Mathematics.LeviCivita.Basic10Physlib.Mathematics.List.InsertIdx14Physlib.Mathematics.List.InsertionSort26Physlib.Mathematics.OneParameterSubgroups.Basic6Physlib.Mathematics.OneParameterSubgroups.Unitary14Physlib.Mathematics.SO3.Basic22Physlib.Mathematics.SpecialFunctions.EllipticIntegral16Physlib.Mathematics.SpecialFunctions.PhysHermite53Physlib.Mathematics.Trigonometry.SinSq2Physlib.Mathematics.Trigonometry.Tanh12Physlib.Mathematics.VariationalCalculus.Basic2Physlib.Mathematics.VariationalCalculus.HasVarAdjDeriv32Physlib.Mathematics.VariationalCalculus.HasVarAdjoint27Physlib.Mathematics.VariationalCalculus.HasVarGradient9Physlib.Mathematics.VariationalCalculus.IsLocalizedfunctionTransform20Physlib.Mathematics.VariationalCalculus.IsTestFunction35Physlib.Meta.Informal.Basic2Physlib.Meta.Informal.Post9Physlib.Meta.Informal.SemiFormal3Physlib.Meta.Linters.DefsWithUnderscore5Physlib.Meta.Linters.Sorry6Physlib.Meta.Notes.Basic7Physlib.Meta.Notes.HTMLNote3Physlib.Meta.Notes.NoteFile1Physlib.Meta.Notes.ToHTML11Physlib.Meta.Remark.Basic3Physlib.Meta.Remark.Properties4Physlib.Meta.TODO.Basic3Physlib.Particles.NeutrinoPhysics.Basic14Physlib.Particles.StandardModel.Basic86Physlib.Particles.StandardModel.Representations4Physlib.ProbabilisticTheory.Effect.Basic5Physlib.ProbabilisticTheory.Effect.Complement3Physlib.ProbabilisticTheory.Effect.Metric7Physlib.ProbabilisticTheory.OrderUnit.Archimedean30Physlib.ProbabilisticTheory.OrderUnit.Basic4Physlib.ProbabilisticTheory.OrderUnit.Cone5Physlib.ProbabilisticTheory.Weight.Basic1Physlib.ProbabilisticTheory.Weight.Extension11Physlib.QFT.AnomalyCancellation.Basic29Physlib.QFT.AnomalyCancellation.GroupActions11Physlib.QFT.PerturbationTheory.CreateAnnihilate14Physlib.QuantumMechanics.Blackbody.PlancksLaw20Physlib.QuantumMechanics.DDimensions.Basic20Physlib.QuantumMechanics.FiniteTarget.Basic3Physlib.QuantumMechanics.FiniteTarget.HilbertSpace19Physlib.QuantumMechanics.FreeParticle.Basic7Physlib.QuantumMechanics.HarmonicOscillator.Basic35Physlib.QuantumMechanics.HarmonicOscillator.Eigenstates24Physlib.QuantumMechanics.HarmonicOscillator.LadderOperators18Physlib.QuantumMechanics.HarmonicOscillator.NumberOperator11Physlib.QuantumMechanics.Hydrogen.Basic2Physlib.QuantumMechanics.Hydrogen.LaplaceRungeLenzVector1Physlib.QuantumMechanics.Hydrogen.Rydberg43Physlib.QuantumMechanics.InfiniteSquareWell.Basic9Physlib.QuantumMechanics.OperatorAlgebra.Basic6Physlib.QuantumMechanics.OperatorAlgebra.HilbertSpace2Physlib.QuantumMechanics.Operators.AngularMomentum27Physlib.QuantumMechanics.Operators.Commutation2Physlib.QuantumMechanics.Operators.Momentum9Physlib.QuantumMechanics.Operators.Multiplication17Physlib.QuantumMechanics.Operators.Position16Physlib.QuantumMechanics.Operators.Unbounded71Physlib.QuantumMechanics.PoschlTeller.Basic28Physlib.QuantumMechanics.QuantumSystem.Basic11Physlib.QuantumMechanics.RectangularBarrier.Basic13Physlib.Relativity.Bispinors.Basic6Physlib.Relativity.LorentzAlgebra.Basic8Physlib.Relativity.LorentzAlgebra.Basis8Physlib.Relativity.LorentzAlgebra.ExponentialMap11Physlib.Relativity.LorentzGroup.Basic48Physlib.Relativity.LorentzGroup.Proper20Physlib.Relativity.LorentzGroup.Rotations8Physlib.Relativity.LorentzGroup.ToVector11Physlib.Relativity.PauliMatrices.AsTensor9Physlib.Relativity.PauliMatrices.Basic45Physlib.Relativity.PauliMatrices.CliffordAlgebra3Physlib.Relativity.PauliMatrices.Relations10Physlib.Relativity.PauliMatrices.SelfAdjoint23Physlib.Relativity.PauliMatrices.ToTensor31Physlib.Relativity.SL2C.AxisRotations10Physlib.Relativity.SL2C.Basic18Physlib.Relativity.SL2C.SelfAdjoint7Physlib.Relativity.Special.ProperTime4Physlib.Relativity.Tensors.Basic89Physlib.Relativity.Tensors.Constructors36Physlib.Relativity.Tensors.Dual11Physlib.Relativity.Tensors.Elab53Physlib.Relativity.Tensors.Evaluation16Physlib.Relativity.Tensors.MetricTensor8Physlib.Relativity.Tensors.OfInt4Physlib.Relativity.Tensors.Product52Physlib.Relativity.Tensors.Reindexing38Physlib.Relativity.Tensors.Tensorial21Physlib.Relativity.Tensors.UnitTensor9Physlib.SpaceAndTime.GalileanGroup.Basic51Physlib.SpaceAndTime.Space.Basic23Physlib.SpaceAndTime.Space.ConstantSliceDist21Physlib.SpaceAndTime.Space.CrossProduct5Physlib.SpaceAndTime.Space.DistConst5Physlib.SpaceAndTime.Space.DistOfFunction10Physlib.SpaceAndTime.Space.IsDistBounded64Physlib.SpaceAndTime.Space.LengthUnit37Physlib.SpaceAndTime.Space.Module93Physlib.SpaceAndTime.Space.Norm43Physlib.SpaceAndTime.Space.Origin5Physlib.SpaceAndTime.Space.Slice15Physlib.SpaceAndTime.Space.SmoothFunctions2Physlib.SpaceAndTime.Space.Translations8Physlib.SpaceAndTime.SpaceTime.Basic34Physlib.SpaceAndTime.SpaceTime.Boosts2Physlib.SpaceAndTime.SpaceTime.Derivatives31Physlib.SpaceAndTime.SpaceTime.LorentzAction10Physlib.SpaceAndTime.SpaceTime.TimeSlice11Physlib.SpaceAndTime.Time.Basic60Physlib.SpaceAndTime.Time.Derivatives29Physlib.SpaceAndTime.Time.MatrixDerivatives4Physlib.SpaceAndTime.Time.TimeMan13Physlib.SpaceAndTime.Time.TimeTransMan44Physlib.SpaceAndTime.Time.TimeUnit35Physlib.SpaceAndTime.TimeAndSpace.Basic29Physlib.SpaceAndTime.TimeAndSpace.ConstantTimeDist23Physlib.StatisticalMechanics.CanonicalEnsemble.Basic99Physlib.StatisticalMechanics.CanonicalEnsemble.Finite37Physlib.StatisticalMechanics.CanonicalEnsemble.Lemmas26Physlib.StatisticalMechanics.CanonicalEnsemble.TwoState12Physlib.StatisticalMechanics.MicroCanonicalEnsemble.IdealGas3Physlib.StatisticalMechanics.MicroCanonicalEnsemble.ThermoQuantities10Physlib.Thermodynamics.IdealGas.Basic3Physlib.Thermodynamics.Temperature.Basic28Physlib.Thermodynamics.Temperature.TemperatureUnits20Physlib.Units.WithDim.Analysis13Physlib.Units.WithDim.Area14Physlib.Units.WithDim.Basic27Physlib.Units.WithDim.Energy5Physlib.Units.WithDim.Pressure7Physlib.Units.WithDim.Speed14Physlib.ClassicalMechanics.HarmonicOscillator.Geometric.Basic12Physlib.ClassicalMechanics.HarmonicOscillator.Geometric.KineticEnergy12Physlib.ClassicalMechanics.HarmonicOscillator.Geometric.Trajectory8Physlib.ClassicalMechanics.Pendulum.SimplePendulum.Basic54Physlib.ClassicalMechanics.Pendulum.SimplePendulum.Equilibria15Physlib.ClassicalMechanics.Pendulum.SimplePendulum.Hamiltonian11Physlib.ClassicalMechanics.Pendulum.SimplePendulum.LiftInvariance7Physlib.ClassicalMechanics.Pendulum.SimplePendulum.PeriodFormula14Physlib.ClassicalMechanics.Pendulum.SimplePendulum.ReleasedFromRest3Physlib.ClassicalMechanics.Pendulum.SimplePendulum.SmallAngle35Physlib.ClassicalMechanics.Pendulum.SimplePendulum.Solution10Physlib.ClassicalMechanics.PointParticle.NewtonianSystem.Basic29Physlib.Mathematics.Calculus.Wirtinger.Basic37Physlib.Mathematics.Calculus.Wirtinger.Coordinate42Physlib.Mathematics.Calculus.Wirtinger.Hessian22Physlib.Mathematics.DataStructures.FourTree.Basic32Physlib.Mathematics.DataStructures.FourTree.UniqueMap13Physlib.Mathematics.DataStructures.Matrix.LieTrace20Physlib.Mathematics.ForMathlib.OneParameterSubgroups.Unitary3Physlib.Particles.BeyondTheStandardModel.GeorgiGlashow.Basic4Physlib.Particles.BeyondTheStandardModel.PatiSalam.Basic9Physlib.Particles.BeyondTheStandardModel.Spin10.Basic6Physlib.Particles.BeyondTheStandardModel.TwoHDM.Basic5Physlib.Particles.BeyondTheStandardModel.TwoHDM.GramMatrix35Physlib.Particles.BeyondTheStandardModel.TwoHDM.Potential57Physlib.Particles.FlavorPhysics.CKMMatrix.Basic60Physlib.Particles.FlavorPhysics.CKMMatrix.Invariants5Physlib.Particles.FlavorPhysics.CKMMatrix.PhaseFreedom16Physlib.Particles.FlavorPhysics.CKMMatrix.Relations37Physlib.Particles.FlavorPhysics.CKMMatrix.Rows32Physlib.Particles.StandardModel.AnomalyCancellation.Basic25Physlib.Particles.StandardModel.AnomalyCancellation.FamilyMaps7Physlib.Particles.StandardModel.AnomalyCancellation.Permutations12Physlib.Particles.StandardModel.Fermions.DownSinglet17Physlib.Particles.StandardModel.Fermions.LeptonDoublet17Physlib.Particles.StandardModel.Fermions.LeptonSinglet17Physlib.Particles.StandardModel.Fermions.QuarkDoublet15Physlib.Particles.StandardModel.Fermions.UpSinglet17Physlib.Particles.StandardModel.HiggsBoson.Basic59Physlib.Particles.StandardModel.HiggsBoson.EffectivePotential18Physlib.Particles.StandardModel.HiggsBoson.Potential32Physlib.Particles.SuperSymmetry.N1.Basic33Physlib.Particles.SuperSymmetry.SU5.FieldLabels4Physlib.Particles.SuperSymmetry.SU5.Potential12Physlib.QFT.PerturbationTheory.FieldOpFreeAlgebra.Basic31Physlib.QFT.PerturbationTheory.FieldOpFreeAlgebra.Grading23Physlib.QFT.PerturbationTheory.FieldOpFreeAlgebra.NormalOrder35Physlib.QFT.PerturbationTheory.FieldOpFreeAlgebra.NormTimeOrder3Physlib.QFT.PerturbationTheory.FieldOpFreeAlgebra.SuperCommute50Physlib.QFT.PerturbationTheory.FieldOpFreeAlgebra.TimeOrder23Physlib.QFT.PerturbationTheory.FieldSpecification.Basic7Physlib.QFT.PerturbationTheory.FieldSpecification.CrAnFieldOp12Physlib.QFT.PerturbationTheory.FieldSpecification.CrAnSection46Physlib.QFT.PerturbationTheory.FieldSpecification.Filters12Physlib.QFT.PerturbationTheory.FieldSpecification.NormalOrder38Physlib.QFT.PerturbationTheory.FieldSpecification.TimeOrder55Physlib.QFT.PerturbationTheory.FieldStatistics.Basic42Physlib.QFT.PerturbationTheory.FieldStatistics.ExchangeSign11Physlib.QFT.PerturbationTheory.FieldStatistics.OfFinset11Physlib.QFT.PerturbationTheory.Koszul.KoszulSign20Physlib.QFT.PerturbationTheory.Koszul.KoszulSignInsert18Physlib.QFT.PerturbationTheory.WickAlgebra.Basic59Physlib.QFT.PerturbationTheory.WickAlgebra.Grading37Physlib.QFT.PerturbationTheory.WickAlgebra.StaticWickTerm5Physlib.QFT.PerturbationTheory.WickAlgebra.StaticWickTheorem1Physlib.QFT.PerturbationTheory.WickAlgebra.SuperCommute52Physlib.QFT.PerturbationTheory.WickAlgebra.TimeContraction14Physlib.QFT.PerturbationTheory.WickAlgebra.TimeOrder24Physlib.QFT.PerturbationTheory.WickAlgebra.Universality5Physlib.QFT.PerturbationTheory.WickAlgebra.WicksTheorem2Physlib.QFT.PerturbationTheory.WickAlgebra.WicksTheoremNormal7Physlib.QFT.PerturbationTheory.WickAlgebra.WickTerm5Physlib.QFT.PerturbationTheory.WickContraction.Basic53Physlib.QFT.PerturbationTheory.WickContraction.Card14Physlib.QFT.PerturbationTheory.WickContraction.Erase7Physlib.QFT.PerturbationTheory.WickContraction.ExtractEquiv10Physlib.QFT.PerturbationTheory.WickContraction.InsertAndContract25Physlib.QFT.PerturbationTheory.WickContraction.InsertAndContractNat35Physlib.QFT.PerturbationTheory.WickContraction.Involutions8Physlib.QFT.PerturbationTheory.WickContraction.IsFull6Physlib.QFT.PerturbationTheory.WickContraction.Join43Physlib.QFT.PerturbationTheory.WickContraction.Perm6Physlib.QFT.PerturbationTheory.WickContraction.Singleton15Physlib.QFT.PerturbationTheory.WickContraction.StaticContract5Physlib.QFT.PerturbationTheory.WickContraction.SubContraction12Physlib.QFT.PerturbationTheory.WickContraction.TimeCond34Physlib.QFT.PerturbationTheory.WickContraction.TimeContract7Physlib.QFT.PerturbationTheory.WickContraction.Uncontracted12Physlib.QFT.PerturbationTheory.WickContraction.UncontractedList59Physlib.QFT.QED.AnomalyCancellation.Basic13Physlib.QFT.QED.AnomalyCancellation.BasisLinear9Physlib.QFT.QED.AnomalyCancellation.ConstAbs32Physlib.QFT.QED.AnomalyCancellation.LineInPlaneCond11Physlib.QFT.QED.AnomalyCancellation.Permutations31Physlib.QFT.QED.AnomalyCancellation.Sorts10Physlib.QFT.QED.AnomalyCancellation.VectorLike3Physlib.QuantumMechanics.DDimensions.Hydrogen.Basic5Physlib.QuantumMechanics.DDimensions.Hydrogen.LaplaceRungeLenzVector11Physlib.QuantumMechanics.DDimensions.Operators.AngularMomentum13Physlib.QuantumMechanics.DDimensions.Operators.Commutation33Physlib.QuantumMechanics.DDimensions.Operators.Covariance5Physlib.QuantumMechanics.DDimensions.Operators.Momentum16Physlib.QuantumMechanics.DDimensions.Operators.Multiplication14Physlib.QuantumMechanics.DDimensions.Operators.Position52Physlib.QuantumMechanics.DDimensions.Operators.Unbounded96Physlib.QuantumMechanics.DDimensions.Operators.Uncertainty14Physlib.QuantumMechanics.DDimensions.SpaceDHilbertSpace.Basic37Physlib.QuantumMechanics.DDimensions.SpaceDHilbertSpace.PolyBddSchwartzSubmodule17Physlib.QuantumMechanics.DDimensions.SpaceDHilbertSpace.SchwartzSubmodule12Physlib.QuantumMechanics.HarmonicOscillator.OneDimension.Basic5Physlib.QuantumMechanics.HilbertSpaces.FiniteTarget.Basic4Physlib.QuantumMechanics.HilbertSpaces.SpaceD.Basic27Physlib.QuantumMechanics.HilbertSpaces.SpaceD.DirichletSubmodule4Physlib.QuantumMechanics.HilbertSpaces.SpaceD.Fourier7Physlib.QuantumMechanics.HilbertSpaces.SpaceD.MomentumStates2Physlib.QuantumMechanics.HilbertSpaces.SpaceD.PositionStates2Physlib.QuantumMechanics.HilbertSpaces.SpaceD.SchwartzSubmodule7Physlib.QuantumMechanics.HilbertSpaces.SpaceD.SobolevSubmodule6Physlib.QuantumMechanics.HilbertSpaces.TensorProducts.CompleteTensorProduct27Physlib.QuantumMechanics.OneDimension.GeneralPotential.Basic6Physlib.QuantumMechanics.OneDimension.HarmonicOscillator.Basic23Physlib.QuantumMechanics.OneDimension.HarmonicOscillator.Completeness13Physlib.QuantumMechanics.OneDimension.HarmonicOscillator.Eigenfunction20Physlib.QuantumMechanics.OneDimension.HarmonicOscillator.Examples1Physlib.QuantumMechanics.OneDimension.HarmonicOscillator.TISE9Physlib.QuantumMechanics.OneDimension.HilbertSpace.Basic25Physlib.QuantumMechanics.OneDimension.HilbertSpace.Gaussians10Physlib.QuantumMechanics.OneDimension.HilbertSpace.PlaneWaves2Physlib.QuantumMechanics.OneDimension.HilbertSpace.PositionStates2Physlib.QuantumMechanics.OneDimension.HilbertSpace.SchwartzSubmodule4Physlib.QuantumMechanics.OneDimension.Operators.Commutation3Physlib.QuantumMechanics.OneDimension.Operators.Momentum10Physlib.QuantumMechanics.OneDimension.Operators.Parity5Physlib.QuantumMechanics.OneDimension.Operators.Position7Physlib.QuantumMechanics.OneDimension.Operators.Unbounded7Physlib.QuantumMechanics.OneDimension.ReflectionlessPotential.Basic10Physlib.QuantumMechanics.OperatorAlgebra.Dynamics.Automorphism5Physlib.QuantumMechanics.OperatorAlgebra.Observables.Jordan14Physlib.QuantumMechanics.OperatorAlgebra.Observables.Lie11Physlib.QuantumMechanics.Operators.AngularMomentum.DimThree51Physlib.QuantumMechanics.Operators.OneDimension.Momentum1Physlib.QuantumMechanics.Operators.OneDimension.Parity1Physlib.QuantumMechanics.Operators.OneDimension.Position1Physlib.QuantumMechanics.Operators.OneDimension.Unbounded1Physlib.QuantumMechanics.Operators.SpectralTheory.SelfAdjoint3Physlib.QuantumMechanics.Operators.SpectralTheory.Symmetric1Physlib.Relativity.Fermions.Dirac.Basic14Physlib.Relativity.Fermions.Dirac.GammaMatrices29Physlib.Relativity.Fermions.Dirac.Slash12Physlib.Relativity.Fermions.Weyl.Contraction20Physlib.Relativity.Fermions.Weyl.DualLeftHanded15Physlib.Relativity.Fermions.Weyl.DualRightHanded4Physlib.Relativity.Fermions.Weyl.LeftHanded16Physlib.Relativity.Fermions.Weyl.Metric12Physlib.Relativity.Fermions.Weyl.RightHanded12Physlib.Relativity.Fermions.Weyl.Two29Physlib.Relativity.Fermions.Weyl.Unit24Physlib.Relativity.LorentzGroup.Boosts.Apply4Physlib.Relativity.LorentzGroup.Boosts.Axis10Physlib.Relativity.LorentzGroup.Boosts.Basic29Physlib.Relativity.LorentzGroup.Boosts.Generalized31Physlib.Relativity.LorentzGroup.Orthochronous.Basic29Physlib.Relativity.LorentzGroup.Restricted.Basic4Physlib.Relativity.LorentzGroup.Restricted.FromBoostRotation6Physlib.Relativity.Special.TwinParadox.Basic9Physlib.Relativity.Tensors.Color.Basic49Physlib.Relativity.Tensors.Color.Discrete4Physlib.Relativity.Tensors.Color.Lift61Physlib.Relativity.Tensors.ComplexTensor.Basic25Physlib.Relativity.Tensors.ComplexTensor.Lemmas1Physlib.Relativity.Tensors.ComplexTensor.OfGaussianInt8Physlib.Relativity.Tensors.ComplexTensor.OfRat8Physlib.Relativity.Tensors.ComponentIdx.Contraction3Physlib.Relativity.Tensors.ComponentIdx.Pair4Physlib.Relativity.Tensors.ComponentIdx.Product2Physlib.Relativity.Tensors.ComponentIdx.Single3Physlib.Relativity.Tensors.Conjugation.Basic14Physlib.Relativity.Tensors.Contraction.Basic6Physlib.Relativity.Tensors.Contraction.Basis14Physlib.Relativity.Tensors.Contraction.CrossToEnd6Physlib.Relativity.Tensors.Contraction.CrossToSlot6Physlib.Relativity.Tensors.Contraction.Products11Physlib.Relativity.Tensors.Contraction.Pure59Physlib.Relativity.Tensors.Contraction.SuccSuccAbove40Physlib.Relativity.Tensors.Contraction.UnitTensorContraction7Physlib.Relativity.Tensors.LeviCivita.Basic11Physlib.Relativity.Tensors.LeviCivita.Complex5Physlib.Relativity.Tensors.LeviCivita.Contractions8Physlib.Relativity.Tensors.RealTensor.Basic20Physlib.Relativity.Tensors.RealTensor.Derivative4Physlib.Relativity.Tensors.RealTensor.ToComplex38Physlib.Relativity.Tensors.TensorSpecies.Basic17Physlib.Relativity.Tensors.TensorSpecies.DualBasis7Physlib.SpaceAndTime.Space.Derivatives.Basic39Physlib.SpaceAndTime.Space.Derivatives.Curl26Physlib.SpaceAndTime.Space.Derivatives.DerivativeIndex6Physlib.SpaceAndTime.Space.Derivatives.Div11Physlib.SpaceAndTime.Space.Derivatives.Grad36Physlib.SpaceAndTime.Space.Derivatives.Iterated12Physlib.SpaceAndTime.Space.Derivatives.Laplacian8Physlib.SpaceAndTime.Space.Derivatives.MatrixDiv6Physlib.SpaceAndTime.Space.Derivatives.MultiIndex24Physlib.SpaceAndTime.Space.EuclideanGroup.Action9Physlib.SpaceAndTime.Space.EuclideanGroup.AffineGroup12Physlib.SpaceAndTime.Space.EuclideanGroup.Basic34Physlib.SpaceAndTime.Space.Integrals.Basic12Physlib.SpaceAndTime.Space.Integrals.NormPow6Physlib.SpaceAndTime.Space.Integrals.RadialAngularMeasure13Physlib.SpaceAndTime.Space.Norm.Basic4Physlib.SpaceAndTime.Space.Norm.IteratedLaplacian3Physlib.SpaceAndTime.Space.Norm.Regularized6Physlib.SpaceAndTime.SpaceTime.SpaceTimeAlgebra.Basic17Physlib.SpaceAndTime.SpaceTime.SpaceTimeAlgebra.Star10Physlib.SpaceAndTime.SpaceTime.SpaceTimeAlgebra.TaylorSeries6Physlib.SpaceAndTime.TimeAndSpace.EuclideanGroup.Action13Physlib.SpaceAndTime.TimeAndSpace.EuclideanGroup.SchwartzAction7Physlib.ClassicalMechanics.Pendulum.SimplePendulum.Geometric.Basic46Physlib.ClassicalMechanics.Pendulum.SimplePendulum.Geometric.PhysicalSpace14Physlib.ClassicalMechanics.Pendulum.SimplePendulum.Geometric.Trajectory11Physlib.Mathematics.Geometry.Metric.PseudoRiemannian.Defs46Physlib.Mathematics.Geometry.Metric.Riemannian.Defs12Physlib.Mathematics.Groups.SpecialUnitary.LieAlgebra.Adjoint38Physlib.Mathematics.Groups.SpecialUnitary.LieAlgebra.Basic30Physlib.Mathematics.Groups.SpecialUnitary.LieAlgebra.KillingForm3Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Basic35Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.FamilyMaps22Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Permutations12Physlib.Particles.FlavorPhysics.CKMMatrix.StandardParameterization.Basic6Physlib.Particles.FlavorPhysics.CKMMatrix.StandardParameterization.StandardParameters62Physlib.Particles.StandardModel.AnomalyCancellation.NoGrav.Basic10Physlib.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.B34Physlib.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.Basic48Physlib.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.HyperCharge2Physlib.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.LineY3B36Physlib.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.Permutations15Physlib.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.Y34Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.AllowsTerm22Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.Basic40Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.Completions15Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.Map26Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.MinimalSuperSet14Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.OfFieldLabel7Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.OfPotentialTerm17Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.PhenoClosed14Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.PhenoConstrained15Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.Yukawa13Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.ZMod8Physlib.QFT.PerturbationTheory.WickAlgebra.NormalOrder.Basic16Physlib.QFT.PerturbationTheory.WickAlgebra.NormalOrder.Lemmas36Physlib.QFT.PerturbationTheory.WickAlgebra.NormalOrder.WickContractions2Physlib.QFT.PerturbationTheory.WickContraction.Sign.Basic4Physlib.QFT.PerturbationTheory.WickContraction.Sign.InsertNone10Physlib.QFT.PerturbationTheory.WickContraction.Sign.InsertSome19Physlib.QFT.PerturbationTheory.WickContraction.Sign.Join15Physlib.QFT.QED.AnomalyCancellation.Even.BasisLinear80Physlib.QFT.QED.AnomalyCancellation.Even.LineInCubic13Physlib.QFT.QED.AnomalyCancellation.Even.Parameterization14Physlib.QFT.QED.AnomalyCancellation.LowDim.One1Physlib.QFT.QED.AnomalyCancellation.LowDim.Three5Physlib.QFT.QED.AnomalyCancellation.LowDim.Two1Physlib.QFT.QED.AnomalyCancellation.Odd.BasisLinear87Physlib.QFT.QED.AnomalyCancellation.Odd.LineInCubic12Physlib.QFT.QED.AnomalyCancellation.Odd.Parameterization14Physlib.QuantumMechanics.DDimensions.Operators.SpectralTheory.Basic74Physlib.QuantumMechanics.DDimensions.Operators.SpectralTheory.SelfAdjoint4Physlib.QuantumMechanics.DDimensions.Operators.SpectralTheory.SpectralMeasure9Physlib.QuantumMechanics.DDimensions.Operators.SpectralTheory.Symmetric15Physlib.QuantumMechanics.DDimensions.Operators.StateObservables.ExpectedValue9Physlib.QuantumMechanics.DDimensions.Operators.StateObservables.IsEigenvector3Physlib.QuantumMechanics.DDimensions.Operators.StateObservables.Variance17Physlib.Relativity.Tensors.ComplexTensor.Matrix.Pre16Physlib.Relativity.Tensors.ComplexTensor.Metrics.Basic50Physlib.Relativity.Tensors.ComplexTensor.Metrics.Lemmas12Physlib.Relativity.Tensors.ComplexTensor.Metrics.Pre10Physlib.Relativity.Tensors.ComplexTensor.Units.Basic50Physlib.Relativity.Tensors.ComplexTensor.Units.Pre14Physlib.Relativity.Tensors.ComplexTensor.Units.Symm6Physlib.Relativity.Tensors.ComplexTensor.Weyl.Basic47Physlib.Relativity.Tensors.ComplexTensor.Weyl.Contraction20Physlib.Relativity.Tensors.ComplexTensor.Weyl.Metric27Physlib.Relativity.Tensors.ComplexTensor.Weyl.Modules28Physlib.Relativity.Tensors.ComplexTensor.Weyl.Two42Physlib.Relativity.Tensors.ComplexTensor.Weyl.Unit24Physlib.Relativity.Tensors.RealTensor.Contraction.CrossToEnd1Physlib.Relativity.Tensors.RealTensor.CoVector.Basic41Physlib.Relativity.Tensors.RealTensor.CoVector.Representation9Physlib.Relativity.Tensors.RealTensor.Matrix.Pre16Physlib.Relativity.Tensors.RealTensor.Metrics.Basic13Physlib.Relativity.Tensors.RealTensor.Metrics.Pre8Physlib.Relativity.Tensors.RealTensor.Representation.Contraction11Physlib.Relativity.Tensors.RealTensor.Units.Basic1Physlib.Relativity.Tensors.RealTensor.Units.Pre9Physlib.Relativity.Tensors.RealTensor.Vector.Basic81Physlib.Relativity.Tensors.RealTensor.Vector.MinkowskiProduct29Physlib.Relativity.Tensors.RealTensor.Vector.Representation10Physlib.Relativity.Tensors.RealTensor.Vector.Tensorial2Physlib.Relativity.Tensors.RealTensor.Velocity.Basic18Physlib.StringTheory.FTheory.SU5.Charges.AnomalyFree4Physlib.StringTheory.FTheory.SU5.Charges.OfRationalSection7Physlib.StringTheory.FTheory.SU5.Charges.Viable26Physlib.StringTheory.FTheory.SU5.Fluxes.Basic40Physlib.StringTheory.FTheory.SU5.Quanta.Basic18Physlib.StringTheory.FTheory.SU5.Quanta.FiveQuanta45Physlib.StringTheory.FTheory.SU5.Quanta.IsViable10Physlib.StringTheory.FTheory.SU5.Quanta.TenQuanta47Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.NoGrav.Basic11Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Ordinary.Basic12Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Ordinary.DimSevenPlane29Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Ordinary.FamilyMaps3Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.Basic14Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.BMinusL11Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.BoundPlaneDim3Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.FamilyMaps3Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.HyperCharge16Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.PlaneNonSols36Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.QuadSol19Physlib.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.QuadSolToSol20Physlib.Particles.StandardModel.AnomalyCancellation.NoGrav.One.Lemmas4Physlib.Particles.StandardModel.AnomalyCancellation.NoGrav.One.LinearParameterization23Physlib.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.OrthogY3B3.Basic11Physlib.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.OrthogY3B3.PlaneWithY3B325Physlib.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.OrthogY3B3.ToSols49Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.MinimallyAllowsTerm.Basic10Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.MinimallyAllowsTerm.FinsetTerms8Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum.MinimallyAllowsTerm.OfFinset15Physlib.Relativity.Tensors.ComplexTensor.Vector.Pre.Basic32Physlib.Relativity.Tensors.ComplexTensor.Vector.Pre.Contraction12Physlib.Relativity.Tensors.ComplexTensor.Vector.Pre.Modules20Physlib.Relativity.Tensors.RealTensor.Vector.Causality.Basic19Physlib.Relativity.Tensors.RealTensor.Vector.Causality.CausallyFollows8Physlib.Relativity.Tensors.RealTensor.Vector.Causality.LightLike5Physlib.Relativity.Tensors.RealTensor.Vector.Causality.TimeLike8Physlib.Relativity.Tensors.RealTensor.Vector.Pre.Basic17Physlib.Relativity.Tensors.RealTensor.Vector.Pre.Contraction40Physlib.Relativity.Tensors.RealTensor.Vector.Pre.Modules56Physlib.StringTheory.FTheory.SU5.Fluxes.NoExotics.ChiralIndices25Physlib.StringTheory.FTheory.SU5.Fluxes.NoExotics.Completeness16Physlib.StringTheory.FTheory.SU5.Fluxes.NoExotics.Elems16
PhyslibAlpha
PhyslibAlpha.ClassicalMechanics.CoupledSpringPotential7PhyslibAlpha.ClassicalMechanics.MomentMap38PhyslibAlpha.ClassicalMechanics.MomentMapCohomology37PhyslibAlpha.Electromagnetism.BoxChargeConservation12PhyslibAlpha.Mathematics.PartialDerivativeTest24PhyslibAlpha.Mathematics.Sublinear3PhyslibAlpha.QuantumMechanics.StinespringDilation56PhyslibAlpha.AlgebraicFramework.Algebra.Alternative15PhyslibAlpha.AlgebraicFramework.Algebra.Derivation5PhyslibAlpha.AlgebraicFramework.Algebra.NuclearInvolution10PhyslibAlpha.AlgebraicFramework.Algebra.Statistics10PhyslibAlpha.AlgebraicFramework.CStarAlgebra.Automorphism26PhyslibAlpha.AlgebraicFramework.CStarAlgebra.Channel6PhyslibAlpha.AlgebraicFramework.CStarAlgebra.ConjugationSymmetry17PhyslibAlpha.AlgebraicFramework.CStarAlgebra.GNS9PhyslibAlpha.AlgebraicFramework.CStarAlgebra.Jordan13PhyslibAlpha.AlgebraicFramework.CStarAlgebra.JordanCFC7PhyslibAlpha.AlgebraicFramework.CStarAlgebra.JordanCompatibility1PhyslibAlpha.AlgebraicFramework.CStarAlgebra.JordanDecomposition7PhyslibAlpha.AlgebraicFramework.CStarAlgebra.JordanPositivity5PhyslibAlpha.AlgebraicFramework.CStarAlgebra.JordanSpecial5PhyslibAlpha.AlgebraicFramework.CStarAlgebra.JordanStatistics4PhyslibAlpha.AlgebraicFramework.CStarAlgebra.OrderUnit3PhyslibAlpha.AlgebraicFramework.CStarAlgebra.Projection7PhyslibAlpha.AlgebraicFramework.CStarAlgebra.SharpEffect1PhyslibAlpha.AlgebraicFramework.CStarAlgebra.SpectralMeasure22PhyslibAlpha.AlgebraicFramework.CStarAlgebra.Uncertainty17PhyslibAlpha.AlgebraicFramework.Dynamics.Generator2PhyslibAlpha.AlgebraicFramework.Dynamics.GeneratorIsDerivation1PhyslibAlpha.AlgebraicFramework.Dynamics.OneParameterGroup3PhyslibAlpha.AlgebraicFramework.HilbertSpace.Trace6PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Basic1PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Compatibility6PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Conditioning9PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Covariance5PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.FiniteRank7PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.FreeJordanTwo32PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.FreeSpecialTwo16PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Hom14PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Lueders14PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Observable26PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Operator59PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.ProjectionResolution20PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.ShirshovWords16PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.StructureAlgebra25PhyslibAlpha.AlgebraicFramework.Measurement.Basic4PhyslibAlpha.AlgebraicFramework.Measurement.BoundedScalarization3PhyslibAlpha.AlgebraicFramework.Measurement.ClassicalSystem2PhyslibAlpha.AlgebraicFramework.Measurement.Compatibility3PhyslibAlpha.AlgebraicFramework.Measurement.FiniteOutcome9PhyslibAlpha.AlgebraicFramework.Measurement.Instrument5PhyslibAlpha.AlgebraicFramework.Measurement.MeasurableOutcome6PhyslibAlpha.AlgebraicFramework.Measurement.Postprocessing10PhyslibAlpha.AlgebraicFramework.Measurement.ProbabilityLaw6PhyslibAlpha.AlgebraicFramework.OrderUnit.Basic11PhyslibAlpha.AlgebraicFramework.OrderUnit.Composite20PhyslibAlpha.AlgebraicFramework.OrderUnit.MonotoneComplete5PhyslibAlpha.AlgebraicFramework.OrderUnit.Norm41PhyslibAlpha.AlgebraicFramework.OrderUnit.Operation19PhyslibAlpha.AlgebraicFramework.OrderUnit.Symmetry33PhyslibAlpha.AlgebraicFramework.Representation.PVM9PhyslibAlpha.AlgebraicFramework.Representation.Schur3PhyslibAlpha.AlgebraicFramework.StarAlgebra.Jordan21PhyslibAlpha.AlgebraicFramework.StarAlgebra.Lie18PhyslibAlpha.AlgebraicFramework.StarAlgebra.Observable4PhyslibAlpha.AlgebraicFramework.StarAlgebra.Restrict10PhyslibAlpha.AlgebraicFramework.StarAlgebra.SelfAdjoint12PhyslibAlpha.AlgebraicFramework.StarAlgebra.Statistics17PhyslibAlpha.AlgebraicFramework.StarAlgebra.Traciality6PhyslibAlpha.AlgebraicFramework.WStarAlgebra.Basic11PhyslibAlpha.AlgebraicFramework.WStarAlgebra.BoundedSesquilinearForm6PhyslibAlpha.AlgebraicFramework.WStarAlgebra.Concrete4PhyslibAlpha.AlgebraicFramework.WStarAlgebra.ConjSpace19PhyslibAlpha.AlgebraicFramework.WStarAlgebra.Mathlib15PhyslibAlpha.AlgebraicFramework.WStarAlgebra.RankOnePairing2PhyslibAlpha.AlgebraicFramework.WStarAlgebra.TracePairingNorm6PhyslibAlpha.AlgebraicFramework.WStarAlgebra.TracePairingSurjectivity17PhyslibAlpha.ClassicalFieldTheory.Local.Action18PhyslibAlpha.ClassicalFieldTheory.Local.EulerLagrange7PhyslibAlpha.ClassicalFieldTheory.Local.EulerLagrangeEquation6PhyslibAlpha.ClassicalFieldTheory.Local.FirstOrder19PhyslibAlpha.ClassicalFieldTheory.Local.FirstVariation3PhyslibAlpha.ClassicalFieldTheory.Local.JetPoint21PhyslibAlpha.ClassicalFieldTheory.Local.JetPointFiber22PhyslibAlpha.ClassicalFieldTheory.Local.JetPointRegularity4PhyslibAlpha.ClassicalFieldTheory.Local.Lagrangian13PhyslibAlpha.ClassicalFieldTheory.Local.TotalDerivative8PhyslibAlpha.ClassicalFieldTheory.Local.TotalDivergence6PhyslibAlpha.ClassicalFieldTheory.Local.TotalDivergenceEquivalence16PhyslibAlpha.ClassicalFieldTheory.Local.Variation1PhyslibAlpha.ClassicalMechanics.MomentMap.GalileanMass32PhyslibAlpha.ClassicalMechanics.MomentMap.GalileanMassCocycle58PhyslibAlpha.ClassicalMechanics.NortonDome.Basic50PhyslibAlpha.ClassicalMechanics.NortonDome.Determinism12PhyslibAlpha.ClassicalMechanics.NortonDome.NewtonianSystem30PhyslibAlpha.ClassicalMechanics.NortonDome.PeanoExistence2PhyslibAlpha.ClassicalMechanics.NortonDome.PhysicalSpace23PhyslibAlpha.ClassicalMechanics.NortonDome.PosPartPow2PhyslibAlpha.ClassicalMechanics.NortonDome.Solution38PhyslibAlpha.ClassicalMechanics.NortonDome.Sqrt2PhyslibAlpha.CondensedMatter.Crystal.BlochTheorem24PhyslibAlpha.CondensedMatter.Crystal.MomentumSectors22PhyslibAlpha.CondensedMatter.IsingModel.Basic20PhyslibAlpha.CondensedMatter.IsingModel.ClassicalExamples16PhyslibAlpha.CondensedMatter.IsingModel.ClassicalGibbs8PhyslibAlpha.CondensedMatter.IsingModel.GibbsStates5PhyslibAlpha.CondensedMatter.IsingModel.KMS19PhyslibAlpha.CondensedMatter.SpinLattice.ClassicalSpins12PhyslibAlpha.CondensedMatter.SpinLattice.PeriodicWaves14PhyslibAlpha.CondensedMatter.SpinLattice.ProductStates12PhyslibAlpha.CondensedMatter.SpinLattice.QuantumSpins32PhyslibAlpha.CondensedMatter.SpinLattice.SpinWaves21PhyslibAlpha.CondensedMatter.SpinLattice.ThermalLimit8PhyslibAlpha.CondensedMatter.TightBindingChain.Cube44PhyslibAlpha.CondensedMatter.TightBindingChain.Current6PhyslibAlpha.CondensedMatter.TightBindingChain.CurrentEigenstates6PhyslibAlpha.CondensedMatter.TightBindingChain.ElementalUncertainty8PhyslibAlpha.CondensedMatter.TightBindingChain.LongChainLimit5PhyslibAlpha.CondensedMatter.TightBindingChain.LongChainMonotonicity3PhyslibAlpha.CondensedMatter.TightBindingChain.MandelstamTamm8PhyslibAlpha.CondensedMatter.TightBindingChain.MandelstamTammMaxCurrent6PhyslibAlpha.CondensedMatter.TightBindingChain.MaxCurrentState13PhyslibAlpha.CondensedMatter.TightBindingChain.MaxCurrentVariances3PhyslibAlpha.CondensedMatter.TightBindingChain.OpenBoundary7PhyslibAlpha.CondensedMatter.TightBindingChain.Saturation5PhyslibAlpha.CondensedMatter.TightBindingChain.SpeedLimit12PhyslibAlpha.CondensedMatter.TightBindingChain.Uncertainty6PhyslibAlpha.CondensedMatter.TightBindingChain.VelocityBand18PhyslibAlpha.Electromagnetism.Distributional.WireJunction10PhyslibAlpha.Mathematics.Analysis.RealBounds3PhyslibAlpha.Mathematics.Convex.DominatedCone11PhyslibAlpha.Mathematics.Convex.LpBall19PhyslibAlpha.Mathematics.Geometry.Simplex17PhyslibAlpha.Mathematics.LadderSystem.Basic22PhyslibAlpha.Mathematics.LadderSystem.Irreducibility14PhyslibAlpha.Mathematics.LadderSystem.OccupationBasis23PhyslibAlpha.Mathematics.LadderSystem.SymmetricPower2PhyslibAlpha.Mathematics.LadderSystem.Vacuum16PhyslibAlpha.Mathematics.MeasureTheory.BoundedMeasurable43PhyslibAlpha.Mathematics.MeasureTheory.IntegrationFunctional3PhyslibAlpha.Mathematics.MeasureTheory.LiftingAndConditioning10PhyslibAlpha.Mathematics.MeasureTheory.PositiveFunctionalIntegral6PhyslibAlpha.Mathematics.MeasureTheory.RegularMeasure5PhyslibAlpha.Mathematics.Order.Freudenthal38PhyslibAlpha.Mathematics.Order.StrongUnit8PhyslibAlpha.Mathematics.Order.VectorLattice13PhyslibAlpha.ProbabilisticTheory.Algebra.Alternative15PhyslibAlpha.ProbabilisticTheory.Algebra.Derivation5PhyslibAlpha.ProbabilisticTheory.Algebra.NuclearInvolution10PhyslibAlpha.ProbabilisticTheory.Channel.Basic17PhyslibAlpha.ProbabilisticTheory.Channel.MeasureAndPrepare1PhyslibAlpha.ProbabilisticTheory.Channel.Normal7PhyslibAlpha.ProbabilisticTheory.Channel.Operation21PhyslibAlpha.ProbabilisticTheory.Channel.Symmetry33PhyslibAlpha.ProbabilisticTheory.Channel.Weight6PhyslibAlpha.ProbabilisticTheory.Classical.Basic2PhyslibAlpha.ProbabilisticTheory.Classical.BauerSimplex3PhyslibAlpha.ProbabilisticTheory.Classical.BoundedMeasurable6PhyslibAlpha.ProbabilisticTheory.Classical.Channel16PhyslibAlpha.ProbabilisticTheory.Classical.Compatibility36PhyslibAlpha.ProbabilisticTheory.Classical.EnsembleRefinement6PhyslibAlpha.ProbabilisticTheory.Classical.FiniteDimensional9PhyslibAlpha.ProbabilisticTheory.Classical.FiniteSystem18PhyslibAlpha.ProbabilisticTheory.Classical.LatticeObservables30PhyslibAlpha.ProbabilisticTheory.Classical.NamiokaPhelps12PhyslibAlpha.ProbabilisticTheory.Classical.NormalStates16PhyslibAlpha.ProbabilisticTheory.Classical.Nuclear22PhyslibAlpha.ProbabilisticTheory.Classical.PureState15PhyslibAlpha.ProbabilisticTheory.Classical.SeparableObservables9PhyslibAlpha.ProbabilisticTheory.Classical.SimplexStateSpace14PhyslibAlpha.ProbabilisticTheory.Classical.UniqueDecomposition33PhyslibAlpha.ProbabilisticTheory.Composite.CompletePositivity8PhyslibAlpha.ProbabilisticTheory.Composite.TensorCone48PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.Automorphism22PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.Commutative11PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.ConjugationSymmetry7PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.GNS9PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.JordanDecomposition7PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.MatrixComposite41PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.Projection7PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.QuantumChannel6PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.SharpEffect2PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.SpectralMeasure22PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.Uncertainty30PhyslibAlpha.ProbabilisticTheory.Dynamics.Generator2PhyslibAlpha.ProbabilisticTheory.Dynamics.GeneratorIsDerivation1PhyslibAlpha.ProbabilisticTheory.Dynamics.OneParameterGroup3PhyslibAlpha.ProbabilisticTheory.Effect.Basic11PhyslibAlpha.ProbabilisticTheory.Effect.Complement6PhyslibAlpha.ProbabilisticTheory.Effect.Convex3PhyslibAlpha.ProbabilisticTheory.Effect.Metric7PhyslibAlpha.ProbabilisticTheory.Effect.Sharp5PhyslibAlpha.ProbabilisticTheory.Examples.GBit9PhyslibAlpha.ProbabilisticTheory.Examples.NormCone57PhyslibAlpha.ProbabilisticTheory.Examples.Qubit11PhyslibAlpha.ProbabilisticTheory.Examples.Square37PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Basic1PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Compatibility6PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Conditioning9PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Covariance5PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.FiniteRank7PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Hom14PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Lueders14PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Observable26PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Operator59PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.ProjectionResolution19PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.StructureAlgebra25PhyslibAlpha.ProbabilisticTheory.LocalNet.Bloch17PhyslibAlpha.ProbabilisticTheory.LocalNet.GlobalRealization35PhyslibAlpha.ProbabilisticTheory.LocalNet.GlobalSymmetry12PhyslibAlpha.ProbabilisticTheory.LocalNet.Lattice8PhyslibAlpha.ProbabilisticTheory.LocalNet.Maps36PhyslibAlpha.ProbabilisticTheory.LocalNet.Momentum8PhyslibAlpha.ProbabilisticTheory.LocalNet.Net14PhyslibAlpha.ProbabilisticTheory.LocalNet.Region4PhyslibAlpha.ProbabilisticTheory.LocalNet.Representation18PhyslibAlpha.ProbabilisticTheory.LocalNet.State20PhyslibAlpha.ProbabilisticTheory.LocalNet.Symmetry12PhyslibAlpha.ProbabilisticTheory.LocalNet.Thermodynamic11PhyslibAlpha.ProbabilisticTheory.LocalNet.Transport10PhyslibAlpha.ProbabilisticTheory.Measurement.Basic17PhyslibAlpha.ProbabilisticTheory.Measurement.Binary5PhyslibAlpha.ProbabilisticTheory.Measurement.BornRule10PhyslibAlpha.ProbabilisticTheory.Measurement.BoundedIntegral40PhyslibAlpha.ProbabilisticTheory.Measurement.BoundedScalarization4PhyslibAlpha.ProbabilisticTheory.Measurement.Compatibility24PhyslibAlpha.ProbabilisticTheory.Measurement.EffectValuedMeasure21PhyslibAlpha.ProbabilisticTheory.Measurement.Finite10PhyslibAlpha.ProbabilisticTheory.Measurement.Instrument5PhyslibAlpha.ProbabilisticTheory.Measurement.Integral14PhyslibAlpha.ProbabilisticTheory.Measurement.Postprocessing15PhyslibAlpha.ProbabilisticTheory.Measurement.Pushforward6PhyslibAlpha.ProbabilisticTheory.OrderUnit.Bidual8PhyslibAlpha.ProbabilisticTheory.OrderUnit.Interpolation11PhyslibAlpha.ProbabilisticTheory.OrderUnit.Lattice1PhyslibAlpha.ProbabilisticTheory.OrderUnit.MonotoneComplete5PhyslibAlpha.ProbabilisticTheory.OrderUnit.Normed20PhyslibAlpha.ProbabilisticTheory.OrderUnit.PositiveDual2PhyslibAlpha.ProbabilisticTheory.Representation.PVM9PhyslibAlpha.ProbabilisticTheory.Representation.Schur3PhyslibAlpha.ProbabilisticTheory.StarAlgebra.ComplexExtension6PhyslibAlpha.ProbabilisticTheory.StarAlgebra.Jordan8PhyslibAlpha.ProbabilisticTheory.StarAlgebra.Lie1PhyslibAlpha.ProbabilisticTheory.StarAlgebra.Observable4PhyslibAlpha.ProbabilisticTheory.StarAlgebra.Restrict5PhyslibAlpha.ProbabilisticTheory.StarAlgebra.Statistics18PhyslibAlpha.ProbabilisticTheory.StarAlgebra.Traciality4PhyslibAlpha.ProbabilisticTheory.State.Barycenter3PhyslibAlpha.ProbabilisticTheory.State.Basic2PhyslibAlpha.ProbabilisticTheory.State.Convex10PhyslibAlpha.ProbabilisticTheory.State.Discrimination15PhyslibAlpha.ProbabilisticTheory.State.Metric17PhyslibAlpha.ProbabilisticTheory.State.NormalEquivalence1PhyslibAlpha.ProbabilisticTheory.State.Pairing8PhyslibAlpha.ProbabilisticTheory.State.Preparation20PhyslibAlpha.ProbabilisticTheory.State.PureMeasurement19PhyslibAlpha.ProbabilisticTheory.State.Separation13PhyslibAlpha.ProbabilisticTheory.State.StateSpace26PhyslibAlpha.ProbabilisticTheory.State.WeightEquivalence6PhyslibAlpha.ProbabilisticTheory.Weight.Basic14PhyslibAlpha.ProbabilisticTheory.Weight.Continuous2PhyslibAlpha.ProbabilisticTheory.Weight.Extension16PhyslibAlpha.ProbabilisticTheory.WStarAlgebra.Basic11PhyslibAlpha.ProbabilisticTheory.WStarAlgebra.BoundedSesquilinearForm6PhyslibAlpha.ProbabilisticTheory.WStarAlgebra.Concrete4PhyslibAlpha.ProbabilisticTheory.WStarAlgebra.ConjSpace19PhyslibAlpha.ProbabilisticTheory.WStarAlgebra.Mathlib15PhyslibAlpha.ProbabilisticTheory.WStarAlgebra.RankOnePairing2PhyslibAlpha.ProbabilisticTheory.WStarAlgebra.TracePairingNorm9PhyslibAlpha.ProbabilisticTheory.WStarAlgebra.TracePairingSurjectivity20PhyslibAlpha.QuantumMechanics.HarmonicOscillator.Basic2PhyslibAlpha.QuantumMechanics.HarmonicOscillator.LadderOperators13PhyslibAlpha.QuantumMechanics.HarmonicOscillator.Vacuum18PhyslibAlpha.Relativity.PauliMatrices.Anticommuting9PhyslibAlpha.AlgebraicFramework.CStarAlgebra.Stinespring.Dilation62PhyslibAlpha.AlgebraicFramework.CStarAlgebra.Stinespring.Kernel21PhyslibAlpha.AlgebraicFramework.HilbertSpace.Dynamics.Automorphism9PhyslibAlpha.AlgebraicFramework.HilbertSpace.Dynamics.Hamiltonian18PhyslibAlpha.AlgebraicFramework.HilbertSpace.State.Density2PhyslibAlpha.AlgebraicFramework.HilbertSpace.State.DensityUncertainty6PhyslibAlpha.AlgebraicFramework.HilbertSpace.State.Vector2PhyslibAlpha.AlgebraicFramework.HilbertSpace.State.VectorUncertainty4PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.Banach22PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.Basic17PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.GeneralIdeal5PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.GeneralProduct6PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.HilbertSchmidt23PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.IdealNorm6PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.Pairing12PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.Polar24PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.RankOne3PhyslibAlpha.AlgebraicFramework.HilbertSpace.TraceClass.TraceAlgebra3PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Basic20PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.BoundedIntegral26PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.BoundedIntegralAlgebra16PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.BoundedSelfAdjointData4PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Conjugation11PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.RealAnalytic4PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.ScalarMeasure21PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.SelfAdjointSpectralTheorem21PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.SpectralPointMass1PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Stone16PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.StoneUnitaryGroup22PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.WeakIntegral6PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Examples.SpinFactor30PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.Basic19PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.Dynamics9PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.Order1PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JBW.Basic4PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JBW.ProjectionResolution14PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Power.Associative8PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Power.Generated29PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Power.GeneratedByOne5PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Power.Quadratic4PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Power.Ring16PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Quadratic.Fundamental36PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Quadratic.Operational2PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Quadratic.Order6PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Quadratic.Projection25PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.Quadratic.Triple11PhyslibAlpha.AlgebraicFramework.OrderUnit.Channel.Basic26PhyslibAlpha.AlgebraicFramework.OrderUnit.Channel.MeasureAndPrepare1PhyslibAlpha.AlgebraicFramework.OrderUnit.Channel.Normal3PhyslibAlpha.AlgebraicFramework.OrderUnit.Channel.Weight6PhyslibAlpha.AlgebraicFramework.OrderUnit.Effect.Basic33PhyslibAlpha.AlgebraicFramework.OrderUnit.Effect.BoundedIntegral40PhyslibAlpha.AlgebraicFramework.OrderUnit.Effect.EffectValuedMeasure5PhyslibAlpha.AlgebraicFramework.OrderUnit.Effect.Integral12PhyslibAlpha.AlgebraicFramework.OrderUnit.State.Basic13PhyslibAlpha.AlgebraicFramework.OrderUnit.State.Convex11PhyslibAlpha.AlgebraicFramework.OrderUnit.State.Discrimination23PhyslibAlpha.AlgebraicFramework.OrderUnit.State.Norm2PhyslibAlpha.AlgebraicFramework.OrderUnit.State.NormalEquivalence1PhyslibAlpha.AlgebraicFramework.OrderUnit.State.Pure3PhyslibAlpha.AlgebraicFramework.OrderUnit.State.Separation12PhyslibAlpha.AlgebraicFramework.OrderUnit.State.WeightBridge9PhyslibAlpha.AlgebraicFramework.OrderUnit.State.WeightEquivalence7PhyslibAlpha.AlgebraicFramework.OrderUnit.Weight.Basic17PhyslibAlpha.AlgebraicFramework.OrderUnit.Weight.Continuous5PhyslibAlpha.AlgebraicFramework.OrderUnit.Weight.Extension19PhyslibAlpha.AlgebraicFramework.Representation.Covariance.Basic10PhyslibAlpha.AlgebraicFramework.Representation.Covariance.Finite12PhyslibAlpha.ClassicalFieldTheory.Local.FirstVariation.Basic7PhyslibAlpha.ClassicalFieldTheory.Local.FirstVariation.Criterion6PhyslibAlpha.ClassicalFieldTheory.Local.FirstVariation.Density11PhyslibAlpha.ClassicalFieldTheory.Local.FirstVariation.IntegrationByParts6PhyslibAlpha.ClassicalFieldTheory.Local.FirstVariation.Regularity6PhyslibAlpha.ClassicalFieldTheory.Local.FirstVariation.Support10PhyslibAlpha.Mathematics.Analysis.Normed.HolderDual21PhyslibAlpha.Mathematics.Convex.Choquet.BoundaryRepresentation4PhyslibAlpha.Mathematics.Convex.Choquet.ExtremePointDecomposition31PhyslibAlpha.Mathematics.Convex.Choquet.Mixture11PhyslibAlpha.Mathematics.Convex.Choquet.RepresentingMeasure14PhyslibAlpha.Mathematics.Order.PositiveDual.Basic23PhyslibAlpha.Mathematics.Order.PositiveDual.Bidual36PhyslibAlpha.Mathematics.Order.PositiveDual.BidualLattice15PhyslibAlpha.Mathematics.Order.PositiveDual.Interpolation22PhyslibAlpha.Mathematics.Order.PositiveDual.Majorant12PhyslibAlpha.Mathematics.Order.PositiveDual.RieszKantorovich21PhyslibAlpha.Mathematics.Order.PositiveDual.UpperEnvelope15PhyslibAlpha.Mathematics.Probability.Kernel.Factorization25PhyslibAlpha.Particles.BeyondTheStandardModel.TwoHDM.ChargeBalance2PhyslibAlpha.Particles.BeyondTheStandardModel.TwoHDM.EffectivePotential4PhyslibAlpha.Particles.BeyondTheStandardModel.TwoHDM.GaugeSlice14PhyslibAlpha.Particles.BeyondTheStandardModel.TwoHDM.GaugeTorus4PhyslibAlpha.Particles.BeyondTheStandardModel.TwoHDM.Invariants56PhyslibAlpha.Particles.BeyondTheStandardModel.TwoHDM.Module14PhyslibAlpha.Particles.BeyondTheStandardModel.TwoHDM.OrbitRepresentative11PhyslibAlpha.Particles.BeyondTheStandardModel.TwoHDM.SwapDoublet11PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.Stinespring.Dilation62PhyslibAlpha.ProbabilisticTheory.CStarAlgebra.Stinespring.Kernel21PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Dynamics.Automorphism7PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Dynamics.Hamiltonian7PhyslibAlpha.ProbabilisticTheory.HilbertSpace.State.Density2PhyslibAlpha.ProbabilisticTheory.HilbertSpace.State.DensityUncertainty6PhyslibAlpha.ProbabilisticTheory.HilbertSpace.State.Vector2PhyslibAlpha.ProbabilisticTheory.HilbertSpace.State.VectorUncertainty4PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.Banach21PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.Basic24PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.GeneralIdeal6PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.GeneralProduct6PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.HilbertSchmidt28PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.IdealNorm8PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.Pairing12PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.Polar24PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.RankOne4PhyslibAlpha.ProbabilisticTheory.HilbertSpace.TraceClass.TraceAlgebra3PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Basic16PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.BoundedIntegral28PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.BoundedIntegralAlgebra20PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.BoundedSelfAdjointData4PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Conjugation11PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.RealAnalytic4PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.ScalarMeasure21PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.SelfAdjointSpectralTheorem21PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.SpectralPointMass30PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Stone16PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.StoneUnitaryGroup22PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.WeakIntegral6PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.CStarAlgebra.Basic13PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.CStarAlgebra.CFC7PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.CStarAlgebra.Compatibility1PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.CStarAlgebra.Positivity5PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.CStarAlgebra.Special5PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.CStarAlgebra.Statistics4PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Examples.SpinFactor30PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.Basic21PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.Dynamics9PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.Order1PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JBW.Basic3PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JBW.ProjectionResolution3PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Power.Associative8PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Power.Generated24PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Power.GeneratedByOne5PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Power.Quadratic4PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Power.Ring16PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Quadratic.Fundamental36PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Quadratic.Operational2PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Quadratic.Order6PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Quadratic.Projection25PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.Quadratic.Triple11PhyslibAlpha.ProbabilisticTheory.Representation.Covariance.Basic8PhyslibAlpha.ProbabilisticTheory.Representation.Covariance.Outcome11PhyslibAlpha.QuantumMechanics.HilbertSpaces.FiniteTarget.Operators3PhyslibAlpha.QuantumMechanics.HilbertSpaces.FiniteTarget.Product13PhyslibAlpha.QuantumMechanics.HilbertSpaces.FiniteTarget.ProductState25PhyslibAlpha.QuantumMechanics.OperatorAlgebra.Dynamics.Automorphism18PhyslibAlpha.QuantumMechanics.OperatorAlgebra.Dynamics.Hamiltonian19PhyslibAlpha.QuantumMechanics.OperatorAlgebra.Measurement.SpectralMeasure14PhyslibAlpha.QuantumMechanics.OperatorAlgebra.Observables.Basic1PhyslibAlpha.QuantumMechanics.OperatorAlgebra.Observables.Effects4PhyslibAlpha.QuantumMechanics.OperatorAlgebra.Observables.Lie2PhyslibAlpha.QuantumMechanics.OperatorAlgebra.Observables.Positive8PhyslibAlpha.QuantumMechanics.OperatorAlgebra.Observables.Projection6PhyslibAlpha.QuantumMechanics.OperatorAlgebra.States.Basic11PhyslibAlpha.QuantumMechanics.OperatorAlgebra.States.Convex8PhyslibAlpha.QuantumMechanics.OperatorAlgebra.States.Pure4PhyslibAlpha.QuantumMechanics.OperatorAlgebra.States.Statistics16PhyslibAlpha.QuantumMechanics.OperatorAlgebra.States.Uncertainty9PhyslibAlpha.Relativity.General.Schwarzschild.IncompressibleSphere51PhyslibAlpha.SpaceAndTime.Space.Surfaces.HalfPlane18PhyslibAlpha.SpaceAndTime.Space.Surfaces.Line16PhyslibAlpha.SpaceAndTime.Space.Surfaces.Ring17PhyslibAlpha.SpaceAndTime.Space.Surfaces.SolidCylinder13PhyslibAlpha.SpaceAndTime.Space.Surfaces.SolidSphere13PhyslibAlpha.SpaceAndTime.Space.Surfaces.SphericalCylinder12PhyslibAlpha.SpaceAndTime.Space.Surfaces.SphericalShell10PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.AnalyticVector.Basic63PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.AnalyticVector.Local30PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.AnalyticVector.Nelson15PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Cayley.Basic26PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Cayley.Certificate7PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Cayley.Inverse25PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Cayley.Measure9PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.CayleySpectralData.Construction31PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.CayleySpectralData.SpecTheorem20PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.EssentialSpectrum.Closed1PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.EssentialSpectrum.Defs2PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.EssentialSpectrum.Smul8PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.EssentialSpectrum.WeakCompact2PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.EssentialSpectrum.Weyl5PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Existence.CandidateGenerator13PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Existence.GardingVectors9PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Existence.GardingVectorWitness3PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Existence.GaussianKernelGrowth4PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Existence.GeneratorInvariance6PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Existence.GenericGardingKernel3PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Existence.IteratedKernelGrowth9PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Existence.StoneGenerator2PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Existence.StoneReconstruction7PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Flow.Stone6PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Flow.StoneAPI3PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.Flow.StoneInvariance3PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.SpectralIntegral.Construction67PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.SpectralIntegral.SpecTheorem46PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.UnitaryInfra.SesquilinearForm85PhyslibAlpha.AlgebraicFramework.HilbertSpace.Unbounded.UnitaryInfra.SpectralMeasure48PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.GeneratedByOne.CFC75PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.GeneratedByOne.Closed19PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.GeneratedByOne.Effect2PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.GeneratedByOne.Inherited9PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.GeneratedByOne.PosInvertibility25PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.GeneratedByOne.Spectrum20PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.GeneratedByOne.SquareRootUniqueness7PhyslibAlpha.AlgebraicFramework.JordanOrderUnit.JB.GeneratedByOne.Uniform3PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Cayley.Basic26PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Cayley.Certificate7PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Cayley.Inverse25PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Cayley.Measure9PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.CayleySpectralData.Basic31PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.CayleySpectralData.SpecTheorem20PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.EssentialSpectrum.Closed1PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.EssentialSpectrum.Defs2PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.EssentialSpectrum.Smul8PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.EssentialSpectrum.Weyl5PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Existence.CandidateGenerator13PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Existence.GardingVectors22PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Existence.GardingVectorWitness3PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Existence.GaussianKernelGrowth11PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Existence.GeneratorInvariance6PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Existence.GenericGardingKernel3PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Existence.IteratedKernelGrowth9PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Existence.StoneGenerator2PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Existence.StoneReconstruction7PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Flow.Stone6PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Flow.StoneAPI3PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.Flow.StoneInvariance3PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.SpectralIntegral.Construction67PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.SpectralIntegral.SpecTheorem46PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.UnitaryInfra.SesquilinearForm85PhyslibAlpha.ProbabilisticTheory.HilbertSpace.Unbounded.UnitaryInfra.SpectralMeasure48PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.GeneratedByOne.CFC76PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.GeneratedByOne.Closed19PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.GeneratedByOne.Effect2PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.GeneratedByOne.Inherited6PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.GeneratedByOne.PosInvertibility25PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.GeneratedByOne.Spectrum20PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.GeneratedByOne.SqrtUniqueness9PhyslibAlpha.ProbabilisticTheory.JordanOrderUnit.JB.GeneratedByOne.Uniform3