Matita Home
by induction hypothesis we know t (id)
Synopsis:
by induction hypothesis we know
term
(
id
)
Pre-condition:
Da Fare
Action:
Da Fare
New sequents to prove:
None.