Matita Home
we need to prove t [(id)] [or equivalent t]
Synopsis:
we need to prove
term
Pre-condition:
Da Fare
Action:
Da Fare
New sequents to prove:
None.