PhyslibSearch
Physlib
by
Docs
Browse
physlib.io ↗
Browse
›
Physlib
›
Particles
›
SuperSymmetry
›
SU5
›
ChargeSpectrum
Theorem
Definition
Structure
Inductive
Class
Instance
Abbrev
Axiom
Opaque
Proof Wanted
Physlib.Particles.SuperSymmetry.SU5.ChargeSpectrum
0 declarations · 12 submodules
Submodules
AllowsTerm
22
Basic
40
Completions
15
Map
26
MinimallyAllowsTerm
33
MinimalSuperSet
14
OfFieldLabel
7
OfPotentialTerm
17
PhenoClosed
14
PhenoConstrained
15
Yukawa
13
ZMod
8
Feedback