theorem proved term proof

`second_shell_capacity`

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

formal statement (Lean)

 112theorem second_shell_capacity : shellCapacity 2 = 8 := rfl

Term-mode proof.

 113
 114/-- **THEOREM**: Third shell (n=3) holds 18 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