---

Step * of Lemma bar_26_4a_wf

bar_26_4a{i:l}()  '
BY
{ ProveWfLemma }


bar\_26\_4a\{i:l\}()  \mmember{}  \mBbbP{}'


By

ProveWfLemma



Home Index