Step * of Lemma intersectionset_wf

[s:coSet{i:l}]. (⋂(s) ∈ coSet{i:l})
BY
ProveWfLemma }


Latex:


Latex:
\mforall{}[s:coSet\{i:l\}].  (\mcap{}(s)  \mmember{}  coSet\{i:l\})


By


Latex:
ProveWfLemma




Home Index