pith. machine review for the scientific record. sign in
theorem proved term proof

r_process_yields_structure

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

  14theorem r_process_yields_structure : r_process_yields_from_ledger :=

proof body

Term-mode proof.

  15  has_ns_eos_structure
  16
  17/-- R-process-yields structure implies neutron-star-EOS-side input. -/

depends on (2)

Lean names referenced from this declaration's body.