def definition def or abbrev

`lambda_PBM`

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

formal statement (Lean)

 142noncomputable def lambda_PBM : ℝ := planck_h * speed_of_light / E_PBM

Definition body.

From the project-wide theorem graph. These declarations reference this one in their body.

lambda_PBM_approx in IndisputableMonolith.Applied.PhotobiomodulationDevice decl_use
lambda_PBM_in_therapeutic_window in IndisputableMonolith.Applied.PhotobiomodulationDevice decl_use
lambda_PBM_pos in IndisputableMonolith.Applied.PhotobiomodulationDevice decl_use
rs_device in IndisputableMonolith.Applied.PhotobiomodulationDevice decl_use

Lean names referenced from this declaration's body.

E_PBM in IndisputableMonolith.Applied.PhotobiomodulationDevice decl_use
planck_h in IndisputableMonolith.Applied.PhotobiomodulationDevice decl_use
speed_of_light in IndisputableMonolith.Applied.PhotobiomodulationDevice decl_use