Step
*
of Lemma
equal_upto_wf
f,g:
.
n:
.
(equal_upto(n;f;g)
)
BY
{
ProveWfLemma
}
\mforall{}f,g:\mBbbN{} {}\mrightarrow{} \mBbbN{}. \mforall{}n:\mBbbN{}. (equal\_upto(n;f;g) \mmember{} \mBbbP{})
By
ProveWfLemma
Home
Index
f,g:
. n:. (equal_upto(n;f;g) 
)