structure definition def or abbrev

`EulerFalsifier`

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

formal statement (Lean)

 274structure EulerFalsifier where
 275  simple_formula_found : Prop
 276  other_base_works : Prop
 277  e_not_required : Prop
 278  falsified : other_base_works ∧ e_not_required → False
 279
 280end Euler
 281end Mathematics
 282end IndisputableMonolith