module module

`IndisputableMonolith.QFT.CasimirPolderAtomSurface`

show as: view Lean formalization →

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

generate prose now

depends on (1)

Lean names referenced from this declaration's body.

IndisputableMonolith.QFT.CasimirPlateModes module_import

declarations in this module (8)

def casimirPolderRetarded L22
def vanDerWaalsNonretarded L27
def crossoverLength L32
theorem casimirPolderRetarded_negative L36
theorem vanDerWaalsNonretarded_negative L50
theorem crossover_retarded_eq_nonretarded L66
structure CasimirPolderCert L76
def casimirPolderCert L89