Step
*
of Lemma
fan_26_6a_wf
fan_26_6a{i:l}()
'
BY
{
ProveWfLemma
}
fan\_26\_6a\{i:l\}() \mmember{} \mBbbP{}'
By
ProveWfLemma
Home
Index
'