theorem proved term proof

`first_shell_capacity`

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

formal statement (Lean)

 109theorem first_shell_capacity : shellCapacity 1 = 2 := rfl

Term-mode proof.

 110
 111/-- **THEOREM**: Second shell (n=2) holds 8 electrons. -/

Lean names referenced from this declaration's body.

shell in IndisputableMonolith.Chemistry.PeriodicBlocks decl_use
shellCapacity in IndisputableMonolith.Chemistry.PeriodicTable decl_use
shellCapacity in IndisputableMonolith.Chemistry.PeriodicTableFromPhiLadder decl_use
shellCapacity in IndisputableMonolith.QFT.PauliExclusion decl_use