1) Yes , correct notation. I always have value of a greater than 1, then its means it could be two or greater than two . could i say sum is always 2 or greater than 2.

2) could i write it as 2= S sum then from it derive 1=sum ?

3) derive any contradiction? I am in need of equality here.

Cyril Cohen has marked this topic as resolved.

This topic has been closed by request of the moderators and shall not be reopened unless the original author provides enough context, with actual Coq code.

Last updated: Jun 22 2024 at 16:02 UTC