theorem proved term proof

`third_shell_capacity`

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

formal statement (Lean)

 115theorem third_shell_capacity : shellCapacity 3 = 18 := rfl

Term-mode proof.

 116
 117/-- **THEOREM**: Fourth shell (n=4) holds 32 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