IndisputableMonolith.Verification.QuarkForwardPipeline

declarations in this module (28)

• def m_up L59
• def m_charm L61
• def m_top L63
• def m_down L65
• def m_strange L67
• def m_bottom L69
• def m_electron L72
• theorem yardstick_pos L75
• theorem m_up_pos L85
• theorem m_charm_pos L86
• theorem m_top_pos L87
• theorem m_down_pos L88
• theorem m_strange_pos L89
• theorem m_bottom_pos L90
• theorem m_electron_pos L91
• theorem charm_to_up_ratio_structural L100
• theorem charm_to_up_eq_phi11 L127
• theorem bottom_to_strange_eq_phi6 L141
• theorem quark_rungs_from_torsion L159
• theorem quark_Z_from_charges L171
• theorem lepton_Z_from_charge L177
• def residue_from_pipeline L185
• theorem pipeline_equals_residue_form L190
• theorem all_quark_predictions_have_derived_residue_coordinates L197
• theorem up_yardstick_components L223
• theorem down_yardstick_components L228
• structure QuarkNonCircularity L239
• def non_circular L250