structure definition def or abbrev

`PlanckScaleFalsifier`

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

formal statement (Lean)

 195structure PlanckScaleFalsifier where
 196  no_phi_connection : Prop
 197  no_voxel_scale : Prop
 198  ratio_not_phi34 : Prop
 199  falsified : no_phi_connection ∧ ratio_not_phi34 → False
 200
 201end PlanckScale
 202end Quantum
 203end IndisputableMonolith