Browse
457 modules · 9,663 declarations
QuantumInfo
QuantumInfo.Regularized14QuantumInfo.ClassicalInfo.Channel2QuantumInfo.ClassicalInfo.Distribution39QuantumInfo.ClassicalInfo.Entropy14QuantumInfo.ClassicalInfo.Prob77QuantumInfo.Finite.Braket49QuantumInfo.Finite.Capacity17QuantumInfo.Finite.Ensemble37QuantumInfo.Finite.Entanglement19QuantumInfo.Finite.MState126QuantumInfo.Finite.Pinching24QuantumInfo.Finite.POVM8QuantumInfo.Finite.Unitary9QuantumInfo.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.Unitary5QuantumInfo.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.CFC91QuantumInfo.ForMathlib.HermitianMat.Inner50QuantumInfo.ForMathlib.HermitianMat.Jordan19QuantumInfo.ForMathlib.HermitianMat.LogExp42QuantumInfo.ForMathlib.HermitianMat.NonSingular33QuantumInfo.ForMathlib.HermitianMat.Order55QuantumInfo.ForMathlib.HermitianMat.Proj63QuantumInfo.ForMathlib.HermitianMat.Reindex15QuantumInfo.ForMathlib.HermitianMat.Rpow50QuantumInfo.ForMathlib.HermitianMat.Schatten14QuantumInfo.ForMathlib.HermitianMat.Sqrt10QuantumInfo.ForMathlib.HermitianMat.Trace34QuantumInfo.ForMathlib.HermitianMat.Unitary10QuantumInfo.ForMathlib.MatrixNorm.TraceNorm17QuantumInfo.ForMathlib.Tactic.Commutes2QuantumInfo.ClassicalInfo.ForMathlib.Analysis.SpecialFunctions.Log.NegMulLog3
Physlib
Physlib.ClassicalMechanics.EulerLagrange4Physlib.ClassicalMechanics.HamiltonsEquations4Physlib.Electromagnetism.Basic4Physlib.Mathematics.FDerivCurry24Physlib.Mathematics.Fin36Physlib.Mathematics.KroneckerDelta16Physlib.Mathematics.LinearMaps38Physlib.Mathematics.List58Physlib.Mathematics.PiTensorProduct22Physlib.Mathematics.RatComplexNum19Physlib.Mathematics.SchurTriangulation15Physlib.Meta.AllFilePaths3Physlib.Meta.Basic27Physlib.Meta.Sorry8Physlib.Meta.TransverseTactics4Physlib.QuantumMechanics.PlanckConstant4Physlib.Relativity.CliffordAlgebra28Physlib.Relativity.MinkowskiMatrix24Physlib.Relativity.SpeedOfLight6Physlib.StatisticalMechanics.BoltzmannConstant5Physlib.Units.Basic30Physlib.Units.Dimension45Physlib.Units.Examples22Physlib.Units.FDeriv3Physlib.Units.Integral3Physlib.Units.UnitDependent39Physlib.ClassicalMechanics.DampedHarmonicOscillator.Basic18Physlib.ClassicalMechanics.HarmonicOscillator.Basic49Physlib.ClassicalMechanics.HarmonicOscillator.ConfigurationSpace41Physlib.ClassicalMechanics.HarmonicOscillator.Solution23Physlib.ClassicalMechanics.Lagrangian.TotalDerivativeEquivalence2Physlib.ClassicalMechanics.Mass.MassUnit31Physlib.ClassicalMechanics.Pendulum.CoplanarDoublePendulum1Physlib.ClassicalMechanics.Pendulum.SlidingPendulum1Physlib.ClassicalMechanics.RigidBody.Basic32Physlib.ClassicalMechanics.RigidBody.SolidSphere4Physlib.ClassicalMechanics.WaveEquation.Basic21Physlib.ClassicalMechanics.WaveEquation.HarmonicWave4Physlib.CondensedMatter.TightBindingChain.Basic25Physlib.Cosmology.FLRW.Basic16Physlib.Electromagnetism.Charge.ChargeUnit17Physlib.Electromagnetism.Current.InfiniteWire15Physlib.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.EMPotential20Physlib.Electromagnetism.Kinematics.FieldStrength42Physlib.Electromagnetism.Kinematics.MagneticField30Physlib.Electromagnetism.Kinematics.ScalarPotential8Physlib.Electromagnetism.Kinematics.VectorPotential10Physlib.Electromagnetism.PointParticle.OneDimension13Physlib.Electromagnetism.PointParticle.ThreeDimension13Physlib.Electromagnetism.ThreeDimension.Basic2Physlib.Electromagnetism.Vacuum.Constant9Physlib.Electromagnetism.Vacuum.HarmonicWave24Physlib.Electromagnetism.Vacuum.IsPlaneWave23Physlib.Mathematics.Calculus.AdjFDeriv32Physlib.Mathematics.Calculus.Divergence11Physlib.Mathematics.Distribution.Basic17Physlib.Mathematics.Distribution.PowMul3Physlib.Mathematics.Fin.Involutions22Physlib.Mathematics.InnerProductSpace.Adjoint18Physlib.Mathematics.InnerProductSpace.Basic45Physlib.Mathematics.InnerProductSpace.Calculus5Physlib.Mathematics.InnerProductSpace.Submodule7Physlib.Mathematics.List.InsertIdx14Physlib.Mathematics.List.InsertionSort26Physlib.Mathematics.SO3.Basic22Physlib.Mathematics.SpecialFunctions.PhysHermite48Physlib.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.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.Basic27Physlib.Particles.StandardModel.Representations4Physlib.QFT.AnomalyCancellation.Basic29Physlib.QFT.AnomalyCancellation.GroupActions11Physlib.QFT.PerturbationTheory.CreateAnnihilate14Physlib.QuantumMechanics.FiniteTarget.Basic3Physlib.QuantumMechanics.FiniteTarget.HilbertSpace6Physlib.Relativity.Bispinors.Basic6Physlib.Relativity.LorentzAlgebra.Basic8Physlib.Relativity.LorentzAlgebra.Basis4Physlib.Relativity.LorentzAlgebra.ExponentialMap11Physlib.Relativity.LorentzGroup.Basic45Physlib.Relativity.LorentzGroup.Proper20Physlib.Relativity.LorentzGroup.Rotations8Physlib.Relativity.LorentzGroup.ToVector11Physlib.Relativity.PauliMatrices.AsTensor9Physlib.Relativity.PauliMatrices.Basic39Physlib.Relativity.PauliMatrices.CliffordAlgebra3Physlib.Relativity.PauliMatrices.Relations5Physlib.Relativity.PauliMatrices.SelfAdjoint17Physlib.Relativity.PauliMatrices.ToTensor22Physlib.Relativity.SL2C.Basic18Physlib.Relativity.SL2C.SelfAdjoint7Physlib.Relativity.Special.ProperTime4Physlib.Relativity.Tensors.Basic89Physlib.Relativity.Tensors.Constructors36Physlib.Relativity.Tensors.Dual11Physlib.Relativity.Tensors.Elab53Physlib.Relativity.Tensors.Evaluation9Physlib.Relativity.Tensors.MetricTensor8Physlib.Relativity.Tensors.OfInt4Physlib.Relativity.Tensors.Product52Physlib.Relativity.Tensors.Tensorial21Physlib.Relativity.Tensors.UnitTensor9Physlib.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.Slice15Physlib.SpaceAndTime.Space.Translations8Physlib.SpaceAndTime.SpaceTime.Basic34Physlib.SpaceAndTime.SpaceTime.Boosts2Physlib.SpaceAndTime.SpaceTime.Derivatives26Physlib.SpaceAndTime.SpaceTime.LorentzAction10Physlib.SpaceAndTime.SpaceTime.TimeSlice11Physlib.SpaceAndTime.Time.Basic59Physlib.SpaceAndTime.Time.Derivatives13Physlib.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.TwoState11Physlib.Thermodynamics.IdealGas.Basic3Physlib.Thermodynamics.Temperature.Basic28Physlib.Thermodynamics.Temperature.TemperatureUnits20Physlib.Units.WithDim.Area14Physlib.Units.WithDim.Basic17Physlib.Units.WithDim.Energy5Physlib.Units.WithDim.Pressure7Physlib.Units.WithDim.Speed14Physlib.Mathematics.DataStructures.FourTree.Basic32Physlib.Mathematics.DataStructures.FourTree.UniqueMap13Physlib.Mathematics.DataStructures.Matrix.LieTrace20Physlib.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.HiggsBoson.Basic59Physlib.Particles.StandardModel.HiggsBoson.Potential32Physlib.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.Basic2Physlib.QuantumMechanics.DDimensions.Hydrogen.LaplaceRungeLenzVector11Physlib.QuantumMechanics.DDimensions.Operators.AngularMomentum13Physlib.QuantumMechanics.DDimensions.Operators.Commutation33Physlib.QuantumMechanics.DDimensions.Operators.Momentum12Physlib.QuantumMechanics.DDimensions.Operators.Position36Physlib.QuantumMechanics.DDimensions.Operators.Unbounded59Physlib.QuantumMechanics.DDimensions.SpaceDHilbertSpace.Basic25Physlib.QuantumMechanics.DDimensions.SpaceDHilbertSpace.SchwartzSubmodule9Physlib.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.Relativity.LorentzGroup.Boosts.Apply4Physlib.Relativity.LorentzGroup.Boosts.Basic29Physlib.Relativity.LorentzGroup.Boosts.Generalized31Physlib.Relativity.LorentzGroup.Orthochronous.Basic29Physlib.Relativity.LorentzGroup.Restricted.Basic4Physlib.Relativity.LorentzGroup.Restricted.FromBoostRotation5Physlib.Relativity.Special.TwinParadox.Basic8Physlib.Relativity.Tensors.Color.Basic49Physlib.Relativity.Tensors.Color.Discrete4Physlib.Relativity.Tensors.Color.Lift61Physlib.Relativity.Tensors.ComplexTensor.Basic23Physlib.Relativity.Tensors.ComplexTensor.Lemmas1Physlib.Relativity.Tensors.ComplexTensor.OfRat8Physlib.Relativity.Tensors.Contraction.Basic6Physlib.Relativity.Tensors.Contraction.Basis14Physlib.Relativity.Tensors.Contraction.Products11Physlib.Relativity.Tensors.Contraction.Pure59Physlib.Relativity.Tensors.RealTensor.Basic16Physlib.Relativity.Tensors.RealTensor.Derivative4Physlib.Relativity.Tensors.RealTensor.ToComplex38Physlib.Relativity.Tensors.TensorSpecies.Basic17Physlib.SpaceAndTime.Space.Derivatives.Basic39Physlib.SpaceAndTime.Space.Derivatives.Curl20Physlib.SpaceAndTime.Space.Derivatives.Div11Physlib.SpaceAndTime.Space.Derivatives.Grad35Physlib.SpaceAndTime.Space.Derivatives.Iterated12Physlib.SpaceAndTime.Space.Derivatives.Laplacian5Physlib.SpaceAndTime.Space.Derivatives.MultiIndex24Physlib.SpaceAndTime.Space.Integrals.Basic12Physlib.SpaceAndTime.Space.Integrals.NormPow6Physlib.SpaceAndTime.Space.Integrals.RadialAngularMeasure13Physlib.Mathematics.Geometry.Metric.PseudoRiemannian.Defs46Physlib.Mathematics.Geometry.Metric.Riemannian.Defs12Physlib.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.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.Basic25Physlib.Relativity.Tensors.ComplexTensor.Weyl.Contraction20Physlib.Relativity.Tensors.ComplexTensor.Weyl.Metric25Physlib.Relativity.Tensors.ComplexTensor.Weyl.Modules24Physlib.Relativity.Tensors.ComplexTensor.Weyl.Two42Physlib.Relativity.Tensors.ComplexTensor.Weyl.Unit24Physlib.Relativity.Tensors.RealTensor.CoVector.Basic41Physlib.Relativity.Tensors.RealTensor.Matrix.Pre16Physlib.Relativity.Tensors.RealTensor.Metrics.Basic10Physlib.Relativity.Tensors.RealTensor.Metrics.Pre8Physlib.Relativity.Tensors.RealTensor.Units.Pre9Physlib.Relativity.Tensors.RealTensor.Vector.Basic81Physlib.Relativity.Tensors.RealTensor.Vector.MinkowskiProduct29Physlib.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.Basic29Physlib.Relativity.Tensors.ComplexTensor.Vector.Pre.Contraction12Physlib.Relativity.Tensors.ComplexTensor.Vector.Pre.Modules19Physlib.Relativity.Tensors.RealTensor.Vector.Causality.Basic19Physlib.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