`has_nuclear_force_structure`

proved

show as: view math explainer →

module: IndisputableMonolith.Nuclear.IslandOfStabilityStructure
domain: Nuclear
line: 10 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Nuclear.IslandOfStabilityStructure on GitHub at line 10.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

used by

formal source

   7
   8open NuclearForceStructure
   9
  10theorem has_nuclear_force_structure : nuclear_force_from_ledger := nuclear_force_structure
  11
  12def island_of_stability_from_ledger : Prop := nuclear_force_from_ledger
  13
  14theorem island_of_stability_structure : island_of_stability_from_ledger :=
  15  has_nuclear_force_structure
  16
  17/-- Island-of-stability structure implies nuclear-force-side input. -/
  18theorem island_of_stability_implies_nuclear_force (h : island_of_stability_from_ledger) :
  19    nuclear_force_from_ledger :=
  20  h
  21
  22end IslandOfStabilityStructure
  23end Nuclear
  24end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.