suppose t(x)

Synopsis:

suppose term ( id ) [ that is equivalent to term ]

Pre-condition:

Da Fare

Action:

Da Fare

New sequents to prove:

None.