IndisputableMonolith.Masses.Ribbons

declarations in this module (22)

• abbrev Tick L15
• def GaugeTag L16
• def Z_quark L33
• def Z_lepton L34
• structure Ribbon L37
• def inv L44
• def cancels L47
• def neutralCommute L52
• abbrev Word L55
• def ringSeq L58
• def rewriteOnce L65
• def normalForm L74
• def ell L84
• def winding L87
• abbrev Torsion8 L92
• def torsion8 L95
• def genOfTorsion L98
• def leptonRung L115
• theorem lepton_rungs_correct L122
• def rungFrom L129
• def Z_of_charge L133
• def massCanonFromWord L137