QFT.CasimirTorque
IndisputableMonolith.QFT.CasimirTorque
No prose has been written for this declaration yet. The Lean source and graph data below render without it.
generate prose now
Lean names referenced from this declaration's body.
IndisputableMonolith.QFT.CasimirPlateModes
casimirTorque
torque_zero_at_aligned
torque_zero_at_orthogonal
torque_at_quarter_turn
CasimirTorqueCert
casimirTorqueCert