Step
*
of Lemma
bar_26_1_wf
R:
List
.
(bar_26_1{i:l}(R)
')
BY
{
(ProveWfLemma
THEN
MaAuto)
}
\mforall{}R:\mBbbN{} List {}\mrightarrow{} \mBbbP{}. (bar\_26\_1\{i:l\}(R) \mmember{} \mBbbP{}')
By
(ProveWfLemma THEN MaAuto)
Home
Index
R:
List 
. (bar_26_1{i:l}(R) 
')