Matita Home
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.