Step
*
of Lemma
bar_26_3b_wf
bar_26_3b{i:l}()
'
BY
{
(ProveWfLemma
THEN
Auto)
}
bar\_26\_3b\{i:l\}() \mmember{} \mBbbP{}'
By
(ProveWfLemma THEN Auto)
Home
Index
'