by induction hypothesis we know
by induction hypothesis we know t (id)
- Synopsis:
by induction hypothesis we know term ( id )
- Pre-condition:
To be used in a proof by induction to state the inductive
hypothesis.
- Action:
Introduces the inductive hypothesis.
- New sequents to prove:
None.
Matita Home