Gergely Buday (Sep 22 2023 at 09:02): Gergely Buday (Sep 22 2023 at 09:02):In a cases proof, on the more complex case I used Sledgehammer and it gave me a list of theorems with:
Derived "False" from these facts alone:
How should I interpret this message? Is my theorem untrue, or I need another way to prove it?
Last updated: Feb 28 2025 at 08:24 UTC