we proceed by cases on t to prove t

Synopsis:

we proceed by cases on term to prove term

Pre-condition:

Da Fare

Action:

Da Fare

New sequents to prove:

None.