PhysLean Documentation
PhysLean
Search
Google site search
return to top
source
Imports
Init
PhysLean.ClassicalMechanics.Basic
PhysLean.CondensedMatter.Basic
PhysLean.Cosmology.Basic
PhysLean.Electrodynamics.Basic
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.StatisticalMechanics.Basic
PhysLean.Thermodynamics.Basic
PhysLean.Mathematics.Fin.Involutions
PhysLean.Mathematics.List.InsertIdx
PhysLean.Mathematics.List.InsertionSort
PhysLean.Mathematics.SO3.Basic
PhysLean.Mathematics.SpecialFunctions.PhyscisistsHermite
PhysLean.Meta.Informal.Basic
PhysLean.Meta.Informal.Post
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.Particles.StandardModel.Basic
PhysLean.Particles.StandardModel.Representations
PhysLean.QFT.AnomalyCancellation.Basic
PhysLean.QFT.AnomalyCancellation.GroupActions
PhysLean.QFT.PerturbationTheory.CreateAnnihilate
PhysLean.QuantumMechanics.FiniteTarget.Basic
PhysLean.Relativity.Lorentz.MinkowskiMatrix
PhysLean.Relativity.SpaceTime.Basic
PhysLean.Relativity.SpaceTime.CliffordAlgebra
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.HiggsBoson.Basic
PhysLean.Particles.StandardModel.HiggsBoson.GaugeAction
PhysLean.Particles.StandardModel.HiggsBoson.PointwiseInnerProd
PhysLean.Particles.StandardModel.HiggsBoson.Potential
PhysLean.QFT.AnomalyCancellation.MSSMNu.B3
PhysLean.QFT.AnomalyCancellation.MSSMNu.Basic
PhysLean.QFT.AnomalyCancellation.MSSMNu.HyperCharge
PhysLean.QFT.AnomalyCancellation.MSSMNu.LineY3B3
PhysLean.QFT.AnomalyCancellation.MSSMNu.Permutations
PhysLean.QFT.AnomalyCancellation.MSSMNu.Y3
PhysLean.QFT.AnomalyCancellation.PureU1.Basic
PhysLean.QFT.AnomalyCancellation.PureU1.BasisLinear
PhysLean.QFT.AnomalyCancellation.PureU1.ConstAbs
PhysLean.QFT.AnomalyCancellation.PureU1.LineInPlaneCond
PhysLean.QFT.AnomalyCancellation.PureU1.Permutations
PhysLean.QFT.AnomalyCancellation.PureU1.Sorts
PhysLean.QFT.AnomalyCancellation.PureU1.VectorLike
PhysLean.QFT.AnomalyCancellation.SM.Basic
PhysLean.QFT.AnomalyCancellation.SM.FamilyMaps
PhysLean.QFT.AnomalyCancellation.SM.Permutations
PhysLean.QFT.AnomalyCancellation.SMNu.Basic
PhysLean.QFT.AnomalyCancellation.SMNu.FamilyMaps
PhysLean.QFT.AnomalyCancellation.SMNu.Permutations
PhysLean.QFT.PerturbationTheory.FeynmanDiagrams.Basic
PhysLean.QFT.PerturbationTheory.FeynmanDiagrams.Momentum
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.Basic
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.Grading
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.StaticWickTerm
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.StaticWickTheorem
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.SuperCommute
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.TimeContraction
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.TimeOrder
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.Universality
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.WickTerm
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.WicksTheorem
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.WicksTheoremNormal
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.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.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.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.Parity
PhysLean.Relativity.Lorentz.Algebra.Basic
PhysLean.Relativity.Lorentz.Algebra.Basis
PhysLean.Relativity.Lorentz.Bispinors.Basic
PhysLean.Relativity.Lorentz.ComplexTensor.Basic
PhysLean.Relativity.Lorentz.ComplexTensor.Basis
PhysLean.Relativity.Lorentz.ComplexTensor.Lemmas
PhysLean.Relativity.Lorentz.ComplexTensor.OfRat
PhysLean.Relativity.Lorentz.ComplexVector.Basic
PhysLean.Relativity.Lorentz.ComplexVector.Contraction
PhysLean.Relativity.Lorentz.ComplexVector.Metric
PhysLean.Relativity.Lorentz.ComplexVector.Modules
PhysLean.Relativity.Lorentz.ComplexVector.Two
PhysLean.Relativity.Lorentz.ComplexVector.Unit
PhysLean.Relativity.Lorentz.Group.Basic
PhysLean.Relativity.Lorentz.Group.Boosts
PhysLean.Relativity.Lorentz.Group.Orthochronous
PhysLean.Relativity.Lorentz.Group.Proper
PhysLean.Relativity.Lorentz.Group.Restricted
PhysLean.Relativity.Lorentz.Group.Rotations
PhysLean.Relativity.Lorentz.PauliMatrices.AsTensor
PhysLean.Relativity.Lorentz.PauliMatrices.Basic
PhysLean.Relativity.Lorentz.PauliMatrices.Basis
PhysLean.Relativity.Lorentz.PauliMatrices.Matrix
PhysLean.Relativity.Lorentz.PauliMatrices.Relations
PhysLean.Relativity.Lorentz.PauliMatrices.SelfAdjoint
PhysLean.Relativity.Lorentz.RealVector.Basic
PhysLean.Relativity.Lorentz.RealVector.Contraction
PhysLean.Relativity.Lorentz.RealVector.Modules
PhysLean.Relativity.Lorentz.RealVector.NormOne
PhysLean.Relativity.Lorentz.SL2C.Basic
PhysLean.Relativity.Lorentz.SL2C.SelfAdjoint
PhysLean.Relativity.Lorentz.Weyl.Basic
PhysLean.Relativity.Lorentz.Weyl.Contraction
PhysLean.Relativity.Lorentz.Weyl.Metric
PhysLean.Relativity.Lorentz.Weyl.Modules
PhysLean.Relativity.Lorentz.Weyl.Two
PhysLean.Relativity.Lorentz.Weyl.Unit
PhysLean.Relativity.Tensors.OverColor.Basic
PhysLean.Relativity.Tensors.OverColor.Discrete
PhysLean.Relativity.Tensors.OverColor.Functors
PhysLean.Relativity.Tensors.OverColor.Iso
PhysLean.Relativity.Tensors.OverColor.Lift
PhysLean.Relativity.Tensors.TensorSpecies.Basic
PhysLean.Relativity.Tensors.TensorSpecies.Basis
PhysLean.Relativity.Tensors.TensorSpecies.DualRepIso
PhysLean.Relativity.Tensors.TensorSpecies.MetricTensor
PhysLean.Relativity.Tensors.TensorSpecies.OfInt
PhysLean.Relativity.Tensors.TensorSpecies.Pure
PhysLean.Relativity.Tensors.TensorSpecies.UnitTensor
PhysLean.Relativity.Tensors.Tree.Basic
PhysLean.Relativity.Tensors.Tree.Dot
PhysLean.Relativity.Tensors.Tree.Elab
PhysLean.Particles.FlavorPhysics.CKMMatrix.StandardParameterization.Basic
PhysLean.Particles.FlavorPhysics.CKMMatrix.StandardParameterization.StandardParameters
PhysLean.QFT.AnomalyCancellation.MSSMNu.OrthogY3B3.Basic
PhysLean.QFT.AnomalyCancellation.MSSMNu.OrthogY3B3.PlaneWithY3B3
PhysLean.QFT.AnomalyCancellation.MSSMNu.OrthogY3B3.ToSols
PhysLean.QFT.AnomalyCancellation.PureU1.Even.BasisLinear
PhysLean.QFT.AnomalyCancellation.PureU1.Even.LineInCubic
PhysLean.QFT.AnomalyCancellation.PureU1.Even.Parameterization
PhysLean.QFT.AnomalyCancellation.PureU1.LowDim.One
PhysLean.QFT.AnomalyCancellation.PureU1.LowDim.Three
PhysLean.QFT.AnomalyCancellation.PureU1.LowDim.Two
PhysLean.QFT.AnomalyCancellation.PureU1.Odd.BasisLinear
PhysLean.QFT.AnomalyCancellation.PureU1.Odd.LineInCubic
PhysLean.QFT.AnomalyCancellation.PureU1.Odd.Parameterization
PhysLean.QFT.AnomalyCancellation.SM.NoGrav.Basic
PhysLean.QFT.AnomalyCancellation.SMNu.NoGrav.Basic
PhysLean.QFT.AnomalyCancellation.SMNu.Ordinary.Basic
PhysLean.QFT.AnomalyCancellation.SMNu.Ordinary.DimSevenPlane
PhysLean.QFT.AnomalyCancellation.SMNu.Ordinary.FamilyMaps
PhysLean.QFT.AnomalyCancellation.SMNu.PlusU1.BMinusL
PhysLean.QFT.AnomalyCancellation.SMNu.PlusU1.Basic
PhysLean.QFT.AnomalyCancellation.SMNu.PlusU1.BoundPlaneDim
PhysLean.QFT.AnomalyCancellation.SMNu.PlusU1.FamilyMaps
PhysLean.QFT.AnomalyCancellation.SMNu.PlusU1.HyperCharge
PhysLean.QFT.AnomalyCancellation.SMNu.PlusU1.PlaneNonSols
PhysLean.QFT.AnomalyCancellation.SMNu.PlusU1.QuadSol
PhysLean.QFT.AnomalyCancellation.SMNu.PlusU1.QuadSolToSol
PhysLean.QFT.PerturbationTheory.FeynmanDiagrams.Instances.ComplexScalar
PhysLean.QFT.PerturbationTheory.FeynmanDiagrams.Instances.Phi4
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.NormalOrder.Basic
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.NormalOrder.Lemmas
PhysLean.QFT.PerturbationTheory.FieldOpAlgebra.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.Relativity.Lorentz.ComplexTensor.Metrics.Basic
PhysLean.Relativity.Lorentz.ComplexTensor.Metrics.Basis
PhysLean.Relativity.Lorentz.ComplexTensor.Metrics.Lemmas
PhysLean.Relativity.Lorentz.ComplexTensor.Units.Basic
PhysLean.Relativity.Lorentz.ComplexTensor.Units.Basis
PhysLean.Relativity.Lorentz.ComplexTensor.Units.Symm
PhysLean.Relativity.Tensors.TensorSpecies.Contractions.Basic
PhysLean.Relativity.Tensors.TensorSpecies.Contractions.Categorical
PhysLean.Relativity.Tensors.TensorSpecies.Contractions.ContrMap
PhysLean.Relativity.Tensors.Tree.NodeIdentities.Assoc
PhysLean.Relativity.Tensors.Tree.NodeIdentities.Basic
PhysLean.Relativity.Tensors.Tree.NodeIdentities.Congr
PhysLean.Relativity.Tensors.Tree.NodeIdentities.ContrContr
PhysLean.Relativity.Tensors.Tree.NodeIdentities.ContrSwap
PhysLean.Relativity.Tensors.Tree.NodeIdentities.PermContr
PhysLean.Relativity.Tensors.Tree.NodeIdentities.PermProd
PhysLean.Relativity.Tensors.Tree.NodeIdentities.ProdAssoc
PhysLean.Relativity.Tensors.Tree.NodeIdentities.ProdComm
PhysLean.Relativity.Tensors.Tree.NodeIdentities.ProdContr
PhysLean.QFT.AnomalyCancellation.SM.NoGrav.One.Lemmas
PhysLean.QFT.AnomalyCancellation.SM.NoGrav.One.LinearParameterization
Imported by