You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
teorth
changed the title
SUBGRAPH: Add the implications/anti-implications between 4378 and the other equations as proof_wanted statements.
SUBGRAPH: Add the implications/anti-implications between 4579 and the other equations as proof_wanted statements.
Sep 28, 2024
teorth
changed the title
SUBGRAPH: Add the implications/anti-implications between 4579 and the other equations as proof_wanted statements.
SUBGRAPH: Add the implications/anti-implications between 4579 and the other equations as conjecture statements.
Sep 28, 2024
Note that 4579 is dual to 4522, so one should be able to adapt the proofs of several implications.
The text was updated successfully, but these errors were encountered: