IndisputableMonolith.Cosmology.GStarThresholds

declarations in this module (35)

• structure Species L74
• def photon L84
• def neutrinos L87
• def neutrinos_dirac L90
• def top L93
• def higgs L96
• def zboson L99
• def wboson L102
• def bottom L105
• def tau L108
• def charm L111
• def muon L114
• def electron L117
• def gluons L120
• def up L123
• def down L126
• def strange L129
• def pions L132
• def T_qcd L138
• def ew_species L141
• def qgp_species L145
• def hadron_species L148
• def species_g L155
• def activeWith L160
• def g_starWith L167
• def g_star L173
• theorem g_star_high L178
• theorem g_star_10GeV L181
• theorem g_star_1GeV L184
• theorem g_star_140MeV L187
• theorem g_star_2MeV L191
• theorem g_star_steps_antitone_chain L195
• theorem g_star_high_matches_derived L206
• theorem g_star_dirac_high L216
• theorem g_star_branch_gap_high L221