Re: The 'suppose' keyword

Dear Piotr,
I've found in the article EUCLID_3 examples of using both 'case' and
'suppose' keywords in 'per cases'. When I tried to change 'suppose' to
'case' and vice versa the proofs was still passing verification.
Therefore, I guess that it's more likely that they are synonymic than
anything else. Although, it's not clear is the existence of these two
keywords a kind of syntactic sugar or there is something more to it.
Thanks for your answer anyway.
Best regards,
Schminke Boris.