Matita Home
suppose t(x)
Synopsis:
suppose
term
(
id
)
[ that is equivalent to
term
]
Pre-condition:
Da Fare
Action:
Da Fare
New sequents to prove:
None.