module
module
IndisputableMonolith.Masses.AnchorPolicy
show as:
view Lean formalization →
depends on (2)
declarations in this module (20)
-
def
rung -
def
chargeMap -
def
gap -
def
predict_mass -
def
rung_sdgt_up -
def
rung_sdgt_down -
def
rung_sdgt -
def
cross_sector_shift -
def
predict_mass_sdgt -
structure
AnchorPolicy -
def
canonicalPolicy -
abbrev
E_coh -
abbrev
yardstick -
abbrev
Z_index -
abbrev
r_lepton -
abbrev
r_up -
abbrev
r_down -
abbrev
r_boson -
structure
ResidueLaw -
structure
SectorLaw