structure definition def or abbrev

`PiFalsifier`

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

formal statement (Lean)

 305structure PiFalsifier where
 306  no_8tick_connection : Prop
 307  phi_pi_wrong : Prop
 308  discrete_no_limit : Prop
 309  falsified : no_8tick_connection ∧ phi_pi_wrong → False
 310
 311end Pi
 312end Mathematics
 313end IndisputableMonolith