PhysLean Documentation

PhysLean

return to top

source

Imports

Init
PhysLean.ClassicalMechanics.Basic
PhysLean.ClassicalMechanics.EulerLagrange
PhysLean.ClassicalMechanics.HamiltonsEquations
PhysLean.ClassicalMechanics.VectorFields
PhysLean.CondensedMatter.Basic
PhysLean.Cosmology.Basic
PhysLean.Electromagnetism.Basic
PhysLean.Electromagnetism.Homogeneous
PhysLean.Electromagnetism.LorentzAction
PhysLean.Electromagnetism.MaxwellEquations
PhysLean.Electromagnetism.Wave
PhysLean.Mathematics.FDerivCurry
PhysLean.Mathematics.Fin
PhysLean.Mathematics.LinearMaps
PhysLean.Mathematics.List
PhysLean.Mathematics.PiTensorProduct
PhysLean.Mathematics.RatComplexNum
PhysLean.Mathematics.SchurTriangulation
PhysLean.Meta.AllFilePaths
PhysLean.Meta.Basic
PhysLean.Meta.TransverseTactics
PhysLean.Optics.Basic
PhysLean.QuantumMechanics.PlanckConstant
PhysLean.Relativity.CliffordAlgebra
PhysLean.Relativity.MinkowskiMatrix
PhysLean.StatisticalMechanics.BoltzmannConstant
PhysLean.StringTheory.Basic
PhysLean.Thermodynamics.Basic
PhysLean.Units.Area
PhysLean.Units.Basic
PhysLean.Units.Energy
PhysLean.Units.Mass
PhysLean.Units.Pressure
PhysLean.Units.Speed
PhysLean.Units.Velocity
PhysLean.ClassicalMechanics.HarmonicOscillator.Basic
PhysLean.ClassicalMechanics.HarmonicOscillator.Solution
PhysLean.ClassicalMechanics.Mass.MassUnit
PhysLean.ClassicalMechanics.WaveEquation.Basic
PhysLean.ClassicalMechanics.WaveEquation.HarmonicWave
PhysLean.CondensedMatter.TightBindingChain.Basic
PhysLean.Cosmology.FLRW.Basic
PhysLean.Electromagnetism.Charge.ChargeUnit
PhysLean.Electromagnetism.Electrostatics.Basic
PhysLean.Electromagnetism.FieldStrength.Basic
PhysLean.Electromagnetism.FieldStrength.Derivative
PhysLean.Mathematics.Calculus.AdjFDeriv
PhysLean.Mathematics.Calculus.Divergence
PhysLean.Mathematics.Distribution.Basic
PhysLean.Mathematics.Distribution.OfBounded
PhysLean.Mathematics.Distribution.PowMul
PhysLean.Mathematics.Fin.Involutions
PhysLean.Mathematics.InnerProductSpace.Adjoint
PhysLean.Mathematics.InnerProductSpace.Basic
PhysLean.Mathematics.InnerProductSpace.Calculus
PhysLean.Mathematics.List.InsertIdx
PhysLean.Mathematics.List.InsertionSort
PhysLean.Mathematics.SO3.Basic
PhysLean.Mathematics.SpecialFunctions.PhysHermite
PhysLean.Mathematics.Trigonometry.Tanh
PhysLean.Mathematics.VariationalCalculus.Basic
PhysLean.Mathematics.VariationalCalculus.HasVarAdjDeriv
PhysLean.Mathematics.VariationalCalculus.HasVarAdjoint
PhysLean.Mathematics.VariationalCalculus.HasVarGradient
PhysLean.Mathematics.VariationalCalculus.IsLocalizedfunctionTransform
PhysLean.Mathematics.VariationalCalculus.IsTestFunction
PhysLean.Meta.Informal.Basic
PhysLean.Meta.Informal.Post
PhysLean.Meta.Informal.SemiFormal
PhysLean.Meta.Linters.Sorry
PhysLean.Meta.Notes.Basic
PhysLean.Meta.Notes.HTMLNote
PhysLean.Meta.Notes.NoteFile
PhysLean.Meta.Notes.ToHTML
PhysLean.Meta.Remark.Basic
PhysLean.Meta.Remark.Properties
PhysLean.Meta.TODO.Basic
PhysLean.Optics.Polarization.Basic
PhysLean.Particles.StandardModel.Basic
PhysLean.Particles.StandardModel.Representations
PhysLean.QFT.AnomalyCancellation.Basic
PhysLean.QFT.AnomalyCancellation.GroupActions
PhysLean.QFT.PerturbationTheory.CreateAnnihilate
PhysLean.QuantumMechanics.FiniteTarget.Basic
PhysLean.QuantumMechanics.FiniteTarget.HilbertSpace
PhysLean.Relativity.Bispinors.Basic
PhysLean.Relativity.LorentzAlgebra.Basic
PhysLean.Relativity.LorentzAlgebra.Basis
PhysLean.Relativity.LorentzAlgebra.ExponentialMap
PhysLean.Relativity.LorentzGroup.Basic
PhysLean.Relativity.LorentzGroup.Proper
PhysLean.Relativity.LorentzGroup.Rotations
PhysLean.Relativity.LorentzGroup.ToVector
PhysLean.Relativity.PauliMatrices.AsTensor
PhysLean.Relativity.PauliMatrices.Basic
PhysLean.Relativity.PauliMatrices.CliffordAlgebra
PhysLean.Relativity.PauliMatrices.Relations
PhysLean.Relativity.PauliMatrices.SelfAdjoint
PhysLean.Relativity.PauliMatrices.ToTensor
PhysLean.Relativity.SL2C.Basic
PhysLean.Relativity.SL2C.SelfAdjoint
PhysLean.Relativity.Special.ProperTime
PhysLean.Relativity.Tensors.Basic
PhysLean.Relativity.Tensors.Constructors
PhysLean.Relativity.Tensors.Dual
PhysLean.Relativity.Tensors.Elab
PhysLean.Relativity.Tensors.Evaluation
PhysLean.Relativity.Tensors.MetricTensor
PhysLean.Relativity.Tensors.OfInt
PhysLean.Relativity.Tensors.Product
PhysLean.Relativity.Tensors.Tensorial
PhysLean.Relativity.Tensors.UnitTensor
PhysLean.SpaceAndTime.Space.Basic
PhysLean.SpaceAndTime.Space.Distributions
PhysLean.SpaceAndTime.Space.LengthUnit
PhysLean.SpaceAndTime.Space.SpaceStruct
PhysLean.SpaceAndTime.Space.VectorIdentities
PhysLean.SpaceAndTime.SpaceTime.Basic
PhysLean.SpaceAndTime.SpaceTime.TimeSlice
PhysLean.SpaceAndTime.Time.Basic
PhysLean.SpaceAndTime.Time.TimeMan
PhysLean.SpaceAndTime.Time.TimeTransMan
PhysLean.SpaceAndTime.Time.TimeUnit
PhysLean.StatisticalMechanics.CanonicalEnsemble.Basic
PhysLean.StatisticalMechanics.CanonicalEnsemble.Finite
PhysLean.StatisticalMechanics.CanonicalEnsemble.Lemmas
PhysLean.StatisticalMechanics.CanonicalEnsemble.TwoState
PhysLean.Thermodynamics.Temperature.Basic
PhysLean.Thermodynamics.Temperature.TemperatureUnits
PhysLean.Units.Momentum.Basic
PhysLean.Electromagnetism.Electrostatics.OneDimension.PointParticle
PhysLean.Electromagnetism.Electrostatics.OneDimension.Vacuum
PhysLean.Mathematics.DataStructures.FourTree.Basic
PhysLean.Mathematics.DataStructures.FourTree.UniqueMap
PhysLean.Mathematics.DataStructures.Matrix.LieTrace
PhysLean.Particles.BeyondTheStandardModel.GeorgiGlashow.Basic
PhysLean.Particles.BeyondTheStandardModel.PatiSalam.Basic
PhysLean.Particles.BeyondTheStandardModel.Spin10.Basic
PhysLean.Particles.BeyondTheStandardModel.TwoHDM.Basic
PhysLean.Particles.BeyondTheStandardModel.TwoHDM.GaugeOrbits
PhysLean.Particles.FlavorPhysics.CKMMatrix.Basic
PhysLean.Particles.FlavorPhysics.CKMMatrix.Invariants
PhysLean.Particles.FlavorPhysics.CKMMatrix.PhaseFreedom
PhysLean.Particles.FlavorPhysics.CKMMatrix.Relations
PhysLean.Particles.FlavorPhysics.CKMMatrix.Rows
PhysLean.Particles.StandardModel.AnomalyCancellation.Basic
PhysLean.Particles.StandardModel.AnomalyCancellation.FamilyMaps
PhysLean.Particles.StandardModel.AnomalyCancellation.Permutations
PhysLean.Particles.StandardModel.HiggsBoson.Basic
PhysLean.Particles.StandardModel.HiggsBoson.GaugeAction
PhysLean.Particles.StandardModel.HiggsBoson.PointwiseInnerProd
PhysLean.Particles.StandardModel.HiggsBoson.Potential
PhysLean.Particles.SuperSymmetry.SU5.FieldLabels
PhysLean.Particles.SuperSymmetry.SU5.Potential
PhysLean.QFT.PerturbationTheory.FeynmanDiagrams.Basic
PhysLean.QFT.PerturbationTheory.FieldOpFreeAlgebra.Basic
PhysLean.QFT.PerturbationTheory.FieldOpFreeAlgebra.Grading
PhysLean.QFT.PerturbationTheory.FieldOpFreeAlgebra.NormTimeOrder
PhysLean.QFT.PerturbationTheory.FieldOpFreeAlgebra.NormalOrder
PhysLean.QFT.PerturbationTheory.FieldOpFreeAlgebra.SuperCommute
PhysLean.QFT.PerturbationTheory.FieldOpFreeAlgebra.TimeOrder
PhysLean.QFT.PerturbationTheory.FieldSpecification.Basic
PhysLean.QFT.PerturbationTheory.FieldSpecification.CrAnFieldOp
PhysLean.QFT.PerturbationTheory.FieldSpecification.CrAnSection
PhysLean.QFT.PerturbationTheory.FieldSpecification.Filters
PhysLean.QFT.PerturbationTheory.FieldSpecification.NormalOrder
PhysLean.QFT.PerturbationTheory.FieldSpecification.TimeOrder
PhysLean.QFT.PerturbationTheory.FieldStatistics.Basic
PhysLean.QFT.PerturbationTheory.FieldStatistics.ExchangeSign
PhysLean.QFT.PerturbationTheory.FieldStatistics.OfFinset
PhysLean.QFT.PerturbationTheory.Koszul.KoszulSign
PhysLean.QFT.PerturbationTheory.Koszul.KoszulSignInsert
PhysLean.QFT.PerturbationTheory.WickAlgebra.Basic
PhysLean.QFT.PerturbationTheory.WickAlgebra.Grading
PhysLean.QFT.PerturbationTheory.WickAlgebra.StaticWickTerm
PhysLean.QFT.PerturbationTheory.WickAlgebra.StaticWickTheorem
PhysLean.QFT.PerturbationTheory.WickAlgebra.SuperCommute
PhysLean.QFT.PerturbationTheory.WickAlgebra.TimeContraction
PhysLean.QFT.PerturbationTheory.WickAlgebra.TimeOrder
PhysLean.QFT.PerturbationTheory.WickAlgebra.Universality
PhysLean.QFT.PerturbationTheory.WickAlgebra.WickTerm
PhysLean.QFT.PerturbationTheory.WickAlgebra.WicksTheorem
PhysLean.QFT.PerturbationTheory.WickAlgebra.WicksTheoremNormal
PhysLean.QFT.PerturbationTheory.WickContraction.Basic
PhysLean.QFT.PerturbationTheory.WickContraction.Card
PhysLean.QFT.PerturbationTheory.WickContraction.Erase
PhysLean.QFT.PerturbationTheory.WickContraction.ExtractEquiv
PhysLean.QFT.PerturbationTheory.WickContraction.InsertAndContract
PhysLean.QFT.PerturbationTheory.WickContraction.InsertAndContractNat
PhysLean.QFT.PerturbationTheory.WickContraction.Involutions
PhysLean.QFT.PerturbationTheory.WickContraction.IsFull
PhysLean.QFT.PerturbationTheory.WickContraction.Join
PhysLean.QFT.PerturbationTheory.WickContraction.Perm
PhysLean.QFT.PerturbationTheory.WickContraction.Singleton
PhysLean.QFT.PerturbationTheory.WickContraction.StaticContract
PhysLean.QFT.PerturbationTheory.WickContraction.SubContraction
PhysLean.QFT.PerturbationTheory.WickContraction.TimeCond
PhysLean.QFT.PerturbationTheory.WickContraction.TimeContract
PhysLean.QFT.PerturbationTheory.WickContraction.Uncontracted
PhysLean.QFT.PerturbationTheory.WickContraction.UncontractedList
PhysLean.QFT.QED.AnomalyCancellation.Basic
PhysLean.QFT.QED.AnomalyCancellation.BasisLinear
PhysLean.QFT.QED.AnomalyCancellation.ConstAbs
PhysLean.QFT.QED.AnomalyCancellation.LineInPlaneCond
PhysLean.QFT.QED.AnomalyCancellation.Permutations
PhysLean.QFT.QED.AnomalyCancellation.Sorts
PhysLean.QFT.QED.AnomalyCancellation.VectorLike
PhysLean.QuantumMechanics.OneDimension.GeneralPotential.Basic
PhysLean.QuantumMechanics.OneDimension.HarmonicOscillator.Basic
PhysLean.QuantumMechanics.OneDimension.HarmonicOscillator.Completeness
PhysLean.QuantumMechanics.OneDimension.HarmonicOscillator.Eigenfunction
PhysLean.QuantumMechanics.OneDimension.HarmonicOscillator.TISE
PhysLean.QuantumMechanics.OneDimension.HilbertSpace.Basic
PhysLean.QuantumMechanics.OneDimension.HilbertSpace.Gaussians
PhysLean.QuantumMechanics.OneDimension.HilbertSpace.PlaneWaves
PhysLean.QuantumMechanics.OneDimension.HilbertSpace.PositionStates
PhysLean.QuantumMechanics.OneDimension.HilbertSpace.SchwartzSubmodule
PhysLean.QuantumMechanics.OneDimension.Operators.Commutation
PhysLean.QuantumMechanics.OneDimension.Operators.Momentum
PhysLean.QuantumMechanics.OneDimension.Operators.Parity
PhysLean.QuantumMechanics.OneDimension.Operators.Position
PhysLean.QuantumMechanics.OneDimension.Operators.Unbounded
PhysLean.QuantumMechanics.OneDimension.ReflectionlessPotential.Basic
PhysLean.Relativity.LorentzGroup.Boosts.Apply
PhysLean.Relativity.LorentzGroup.Boosts.Basic
PhysLean.Relativity.LorentzGroup.Boosts.Generalized
PhysLean.Relativity.LorentzGroup.Orthochronous.Basic
PhysLean.Relativity.LorentzGroup.Restricted.Basic
PhysLean.Relativity.LorentzGroup.Restricted.FromBoostRotation
PhysLean.Relativity.Special.TwinParadox.Basic
PhysLean.Relativity.Tensors.Color.Basic
PhysLean.Relativity.Tensors.Color.Discrete
PhysLean.Relativity.Tensors.Color.Lift
PhysLean.Relativity.Tensors.ComplexTensor.Basic
PhysLean.Relativity.Tensors.ComplexTensor.Lemmas
PhysLean.Relativity.Tensors.ComplexTensor.OfRat
PhysLean.Relativity.Tensors.Contraction.Basic
PhysLean.Relativity.Tensors.Contraction.Basis
PhysLean.Relativity.Tensors.Contraction.Products
PhysLean.Relativity.Tensors.Contraction.Pure
PhysLean.Relativity.Tensors.RealTensor.Basic
PhysLean.Relativity.Tensors.RealTensor.Derivative
PhysLean.Relativity.Tensors.RealTensor.ToComplex
PhysLean.Relativity.Tensors.TensorSpecies.Basic
PhysLean.StringTheory.FTheory.SU5.Basic
PhysLean.Mathematics.Geometry.Metric.PseudoRiemannian.Defs
PhysLean.Mathematics.Geometry.Metric.Riemannian.Defs
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Basic
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.FamilyMaps
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Permutations
PhysLean.Particles.FlavorPhysics.CKMMatrix.StandardParameterization.Basic
PhysLean.Particles.FlavorPhysics.CKMMatrix.StandardParameterization.StandardParameters
PhysLean.Particles.StandardModel.AnomalyCancellation.NoGrav.Basic
PhysLean.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.B3
PhysLean.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.Basic
PhysLean.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.HyperCharge
PhysLean.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.LineY3B3
PhysLean.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.Permutations
PhysLean.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.Y3
PhysLean.Particles.SuperSymmetry.SU5.Charges.AllowsTerm
PhysLean.Particles.SuperSymmetry.SU5.Charges.Basic
PhysLean.Particles.SuperSymmetry.SU5.Charges.Completions
PhysLean.Particles.SuperSymmetry.SU5.Charges.Map
PhysLean.Particles.SuperSymmetry.SU5.Charges.MinimalSuperSet
PhysLean.Particles.SuperSymmetry.SU5.Charges.OfFieldLabel
PhysLean.Particles.SuperSymmetry.SU5.Charges.OfPotentialTerm
PhysLean.Particles.SuperSymmetry.SU5.Charges.PhenoClosed
PhysLean.Particles.SuperSymmetry.SU5.Charges.PhenoConstrained
PhysLean.Particles.SuperSymmetry.SU5.Charges.U1U1
PhysLean.Particles.SuperSymmetry.SU5.Charges.Yukawa
PhysLean.Particles.SuperSymmetry.SU5.Charges.ZMod
PhysLean.QFT.PerturbationTheory.WickAlgebra.NormalOrder.Basic
PhysLean.QFT.PerturbationTheory.WickAlgebra.NormalOrder.Lemmas
PhysLean.QFT.PerturbationTheory.WickAlgebra.NormalOrder.WickContractions
PhysLean.QFT.PerturbationTheory.WickContraction.Sign.Basic
PhysLean.QFT.PerturbationTheory.WickContraction.Sign.InsertNone
PhysLean.QFT.PerturbationTheory.WickContraction.Sign.InsertSome
PhysLean.QFT.PerturbationTheory.WickContraction.Sign.Join
PhysLean.QFT.QED.AnomalyCancellation.Even.BasisLinear
PhysLean.QFT.QED.AnomalyCancellation.Even.LineInCubic
PhysLean.QFT.QED.AnomalyCancellation.Even.Parameterization
PhysLean.QFT.QED.AnomalyCancellation.LowDim.One
PhysLean.QFT.QED.AnomalyCancellation.LowDim.Three
PhysLean.QFT.QED.AnomalyCancellation.LowDim.Two
PhysLean.QFT.QED.AnomalyCancellation.Odd.BasisLinear
PhysLean.QFT.QED.AnomalyCancellation.Odd.LineInCubic
PhysLean.QFT.QED.AnomalyCancellation.Odd.Parameterization
PhysLean.Relativity.Tensors.ComplexTensor.Matrix.Pre
PhysLean.Relativity.Tensors.ComplexTensor.Metrics.Basic
PhysLean.Relativity.Tensors.ComplexTensor.Metrics.Lemmas
PhysLean.Relativity.Tensors.ComplexTensor.Metrics.Pre
PhysLean.Relativity.Tensors.ComplexTensor.Units.Basic
PhysLean.Relativity.Tensors.ComplexTensor.Units.Pre
PhysLean.Relativity.Tensors.ComplexTensor.Units.Symm
PhysLean.Relativity.Tensors.ComplexTensor.Weyl.Basic
PhysLean.Relativity.Tensors.ComplexTensor.Weyl.Contraction
PhysLean.Relativity.Tensors.ComplexTensor.Weyl.Metric
PhysLean.Relativity.Tensors.ComplexTensor.Weyl.Modules
PhysLean.Relativity.Tensors.ComplexTensor.Weyl.Two
PhysLean.Relativity.Tensors.ComplexTensor.Weyl.Unit
PhysLean.Relativity.Tensors.RealTensor.Matrix.Pre
PhysLean.Relativity.Tensors.RealTensor.Metrics.Basic
PhysLean.Relativity.Tensors.RealTensor.Metrics.Pre
PhysLean.Relativity.Tensors.RealTensor.Units.Pre
PhysLean.Relativity.Tensors.RealTensor.Vector.Basic
PhysLean.Relativity.Tensors.RealTensor.Vector.MinkowskiProduct
PhysLean.Relativity.Tensors.RealTensor.Velocity.Basic
PhysLean.StringTheory.FTheory.SU5.Charges.AnomalyFree
PhysLean.StringTheory.FTheory.SU5.Charges.OfRationalSection
PhysLean.StringTheory.FTheory.SU5.Charges.Viable
PhysLean.StringTheory.FTheory.SU5.Fluxes.Basic
PhysLean.StringTheory.FTheory.SU5.Quanta.Basic
PhysLean.StringTheory.FTheory.SU5.Quanta.FiveQuanta
PhysLean.StringTheory.FTheory.SU5.Quanta.IsViable
PhysLean.StringTheory.FTheory.SU5.Quanta.TenQuanta
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.NoGrav.Basic
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Ordinary.Basic
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Ordinary.DimSevenPlane
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.Ordinary.FamilyMaps
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.BMinusL
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.Basic
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.BoundPlaneDim
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.FamilyMaps
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.HyperCharge
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.PlaneNonSols
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.QuadSol
PhysLean.Particles.BeyondTheStandardModel.RHN.AnomalyCancellation.PlusU1.QuadSolToSol
PhysLean.Particles.StandardModel.AnomalyCancellation.NoGrav.One.Lemmas
PhysLean.Particles.StandardModel.AnomalyCancellation.NoGrav.One.LinearParameterization
PhysLean.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.OrthogY3B3.Basic
PhysLean.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.OrthogY3B3.PlaneWithY3B3
PhysLean.Particles.SuperSymmetry.MSSMNu.AnomalyCancellation.OrthogY3B3.ToSols
PhysLean.Particles.SuperSymmetry.SU5.Charges.MinimallyAllowsTerm.Basic
PhysLean.Particles.SuperSymmetry.SU5.Charges.MinimallyAllowsTerm.FinsetTerms
PhysLean.Particles.SuperSymmetry.SU5.Charges.MinimallyAllowsTerm.OfFinset
PhysLean.Relativity.Tensors.ComplexTensor.Vector.Pre.Basic
PhysLean.Relativity.Tensors.ComplexTensor.Vector.Pre.Contraction
PhysLean.Relativity.Tensors.ComplexTensor.Vector.Pre.Modules
PhysLean.Relativity.Tensors.RealTensor.Vector.Causality.Basic
PhysLean.Relativity.Tensors.RealTensor.Vector.Causality.LightLike
PhysLean.Relativity.Tensors.RealTensor.Vector.Causality.TimeLike
PhysLean.Relativity.Tensors.RealTensor.Vector.Pre.Basic
PhysLean.Relativity.Tensors.RealTensor.Vector.Pre.Contraction
PhysLean.Relativity.Tensors.RealTensor.Vector.Pre.Modules
PhysLean.StringTheory.FTheory.SU5.Fluxes.NoExotics.ChiralIndices
PhysLean.StringTheory.FTheory.SU5.Fluxes.NoExotics.Completeness
PhysLean.StringTheory.FTheory.SU5.Fluxes.NoExotics.Elems
PhysLean.StringTheory.FTheory.SU5.Fluxes.NoExotics.ToList

Imported by