theorem proved term proof

`fission_transmutation_structure`

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

formal statement (Lean)

 236theorem fission_transmutation_structure :
 237    (∃ cfg : NuclearConfig, nuclearCost cfg = 0) :=

Term-mode proof.

 238  ⟨stable_config, stable_config_zero_cost⟩
 239
 240/-- Certificate: EN-006 Fission Product Transmutation — DERIVED -/

Lean names referenced from this declaration's body.

NuclearConfig in IndisputableMonolith.Engineering.FissionTransmutationStructure decl_use
nuclearCost in IndisputableMonolith.Engineering.FissionTransmutationStructure decl_use
stable_config in IndisputableMonolith.Engineering.FissionTransmutationStructure decl_use
stable_config_zero_cost in IndisputableMonolith.Engineering.FissionTransmutationStructure decl_use