Step
*
of Lemma
bar_26_3a_wf
R:
List
.
(bar_26_3a{i:l}(R)
')
BY
{
ProveWfLemma
}
\mforall{}R:\mBbbN{} List {}\mrightarrow{} \mBbbP{}. (bar\_26\_3a\{i:l\}(R) \mmember{} \mBbbP{}')
By
ProveWfLemma
Home
Index
R:
List 
. (bar_26_3a{i:l}(R) 
')