HepLean Documentation

HepLean

return to top

source

Imports

Init
HepLean.AnomalyCancellation.Basic
HepLean.AnomalyCancellation.GroupActions
HepLean.FeynmanDiagrams.Basic
HepLean.FeynmanDiagrams.Momentum
HepLean.Lorentz.MinkowskiMatrix
HepLean.Mathematics.Fin
HepLean.Mathematics.LinearMaps
HepLean.Mathematics.PiTensorProduct
HepLean.Meta.AllFilePaths
HepLean.Meta.Basic
HepLean.Meta.Informal
HepLean.Meta.TransverseTactics
HepLean.SpaceTime.Basic
HepLean.SpaceTime.CliffordAlgebra
HepLean.StandardModel.Basic
HepLean.StandardModel.Representations
HepLean.AnomalyCancellation.MSSMNu.B3
HepLean.AnomalyCancellation.MSSMNu.Basic
HepLean.AnomalyCancellation.MSSMNu.HyperCharge
HepLean.AnomalyCancellation.MSSMNu.LineY3B3
HepLean.AnomalyCancellation.MSSMNu.Permutations
HepLean.AnomalyCancellation.MSSMNu.Y3
HepLean.AnomalyCancellation.PureU1.Basic
HepLean.AnomalyCancellation.PureU1.BasisLinear
HepLean.AnomalyCancellation.PureU1.ConstAbs
HepLean.AnomalyCancellation.PureU1.LineInPlaneCond
HepLean.AnomalyCancellation.PureU1.Permutations
HepLean.AnomalyCancellation.PureU1.Sorts
HepLean.AnomalyCancellation.PureU1.VectorLike
HepLean.AnomalyCancellation.SM.Basic
HepLean.AnomalyCancellation.SM.FamilyMaps
HepLean.AnomalyCancellation.SM.Permutations
HepLean.AnomalyCancellation.SMNu.Basic
HepLean.AnomalyCancellation.SMNu.FamilyMaps
HepLean.AnomalyCancellation.SMNu.Permutations
HepLean.BeyondTheStandardModel.GeorgiGlashow.Basic
HepLean.BeyondTheStandardModel.PatiSalam.Basic
HepLean.BeyondTheStandardModel.Spin10.Basic
HepLean.BeyondTheStandardModel.TwoHDM.Basic
HepLean.BeyondTheStandardModel.TwoHDM.GaugeOrbits
HepLean.FeynmanDiagrams.Instances.ComplexScalar
HepLean.FeynmanDiagrams.Instances.Phi4
HepLean.FeynmanDiagrams.Wick.Contract
HepLean.FeynmanDiagrams.Wick.String
HepLean.FlavorPhysics.CKMMatrix.Basic
HepLean.FlavorPhysics.CKMMatrix.Invariants
HepLean.FlavorPhysics.CKMMatrix.PhaseFreedom
HepLean.FlavorPhysics.CKMMatrix.Relations
HepLean.FlavorPhysics.CKMMatrix.Rows
HepLean.Lorentz.Algebra.Basic
HepLean.Lorentz.Algebra.Basis
HepLean.Lorentz.ComplexTensor.Basic
HepLean.Lorentz.ComplexTensor.Basis
HepLean.Lorentz.ComplexTensor.Lemmas
HepLean.Lorentz.ComplexVector.Basic
HepLean.Lorentz.ComplexVector.Contraction
HepLean.Lorentz.ComplexVector.Metric
HepLean.Lorentz.ComplexVector.Modules
HepLean.Lorentz.ComplexVector.Two
HepLean.Lorentz.ComplexVector.Unit
HepLean.Lorentz.Group.Basic
HepLean.Lorentz.Group.Boosts
HepLean.Lorentz.Group.Orthochronous
HepLean.Lorentz.Group.Proper
HepLean.Lorentz.Group.Restricted
HepLean.Lorentz.Group.Rotations
HepLean.Lorentz.PauliMatrices.AsTensor
HepLean.Lorentz.PauliMatrices.Basic
HepLean.Lorentz.PauliMatrices.SelfAdjoint
HepLean.Lorentz.RealVector.Basic
HepLean.Lorentz.RealVector.Contraction
HepLean.Lorentz.RealVector.Modules
HepLean.Lorentz.RealVector.NormOne
HepLean.Lorentz.SL2C.Basic
HepLean.Lorentz.Weyl.Basic
HepLean.Lorentz.Weyl.Contraction
HepLean.Lorentz.Weyl.Metric
HepLean.Lorentz.Weyl.Modules
HepLean.Lorentz.Weyl.Two
HepLean.Lorentz.Weyl.Unit
HepLean.Mathematics.SO3.Basic
HepLean.StandardModel.HiggsBoson.Basic
HepLean.StandardModel.HiggsBoson.GaugeAction
HepLean.StandardModel.HiggsBoson.PointwiseInnerProd
HepLean.StandardModel.HiggsBoson.Potential
HepLean.Tensors.OverColor.Basic
HepLean.Tensors.OverColor.Discrete
HepLean.Tensors.OverColor.Functors
HepLean.Tensors.OverColor.Iso
HepLean.Tensors.OverColor.Lift
HepLean.Tensors.TensorSpecies.Basic
HepLean.Tensors.TensorSpecies.DualRepIso
HepLean.Tensors.TensorSpecies.MetricTensor
HepLean.Tensors.TensorSpecies.Pure
HepLean.Tensors.TensorSpecies.UnitTensor
HepLean.Tensors.Tree.Basic
HepLean.Tensors.Tree.Dot
HepLean.Tensors.Tree.Elab
HepLean.AnomalyCancellation.MSSMNu.OrthogY3B3.Basic
HepLean.AnomalyCancellation.MSSMNu.OrthogY3B3.PlaneWithY3B3
HepLean.AnomalyCancellation.MSSMNu.OrthogY3B3.ToSols
HepLean.AnomalyCancellation.PureU1.Even.BasisLinear
HepLean.AnomalyCancellation.PureU1.Even.LineInCubic
HepLean.AnomalyCancellation.PureU1.Even.Parameterization
HepLean.AnomalyCancellation.PureU1.LowDim.One
HepLean.AnomalyCancellation.PureU1.LowDim.Three
HepLean.AnomalyCancellation.PureU1.LowDim.Two
HepLean.AnomalyCancellation.PureU1.Odd.BasisLinear
HepLean.AnomalyCancellation.PureU1.Odd.LineInCubic
HepLean.AnomalyCancellation.PureU1.Odd.Parameterization
HepLean.AnomalyCancellation.SM.NoGrav.Basic
HepLean.AnomalyCancellation.SMNu.NoGrav.Basic
HepLean.AnomalyCancellation.SMNu.Ordinary.Basic
HepLean.AnomalyCancellation.SMNu.Ordinary.DimSevenPlane
HepLean.AnomalyCancellation.SMNu.Ordinary.FamilyMaps
HepLean.AnomalyCancellation.SMNu.PlusU1.BMinusL
HepLean.AnomalyCancellation.SMNu.PlusU1.Basic
HepLean.AnomalyCancellation.SMNu.PlusU1.BoundPlaneDim
HepLean.AnomalyCancellation.SMNu.PlusU1.FamilyMaps
HepLean.AnomalyCancellation.SMNu.PlusU1.HyperCharge
HepLean.AnomalyCancellation.SMNu.PlusU1.PlaneNonSols
HepLean.AnomalyCancellation.SMNu.PlusU1.QuadSol
HepLean.AnomalyCancellation.SMNu.PlusU1.QuadSolToSol
HepLean.FlavorPhysics.CKMMatrix.StandardParameterization.Basic
HepLean.FlavorPhysics.CKMMatrix.StandardParameterization.StandardParameters
HepLean.Lorentz.ComplexTensor.Bispinors.Basic
HepLean.Lorentz.ComplexTensor.Metrics.Basic
HepLean.Lorentz.ComplexTensor.Metrics.Basis
HepLean.Lorentz.ComplexTensor.Metrics.Lemmas
HepLean.Lorentz.ComplexTensor.PauliMatrices.Basic
HepLean.Lorentz.ComplexTensor.PauliMatrices.Basis
HepLean.Lorentz.ComplexTensor.PauliMatrices.CoContractContr
HepLean.Lorentz.ComplexTensor.Units.Basic
HepLean.Lorentz.ComplexTensor.Units.Symm
HepLean.Tensors.TensorSpecies.Contractions.Basic
HepLean.Tensors.TensorSpecies.Contractions.Categorical
HepLean.Tensors.TensorSpecies.Contractions.ContrMap
HepLean.Tensors.Tree.NodeIdentities.Assoc
HepLean.Tensors.Tree.NodeIdentities.Basic
HepLean.Tensors.Tree.NodeIdentities.Congr
HepLean.Tensors.Tree.NodeIdentities.ContrContr
HepLean.Tensors.Tree.NodeIdentities.ContrSwap
HepLean.Tensors.Tree.NodeIdentities.PermContr
HepLean.Tensors.Tree.NodeIdentities.PermProd
HepLean.Tensors.Tree.NodeIdentities.ProdAssoc
HepLean.Tensors.Tree.NodeIdentities.ProdComm
HepLean.Tensors.Tree.NodeIdentities.ProdContr
HepLean.AnomalyCancellation.SM.NoGrav.One.Lemmas
HepLean.AnomalyCancellation.SM.NoGrav.One.LinearParameterization

Imported by