structure definition def or abbrev

`PointerStateFalsifier`

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

formal statement (Lean)

 211structure PointerStateFalsifier where
 212  stable_macro_superposition : Prop
 213  unpredictable_decoherence_basis : Prop
 214  no_neutral_windows : Prop
 215  falsified : stable_macro_superposition ∨ unpredictable_decoherence_basis ∨ no_neutral_windows → False
 216
 217end PointerStates
 218end Quantum
 219end IndisputableMonolith