Step
*
of Lemma
imageset_wf2
∀[B,f:Set{i:l}].  (imageset(B;f) ∈ Set{i:l})
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[B,f:Set\{i:l\}].    (imageset(B;f)  \mmember{}  Set\{i:l\})
By
Latex:
ProveWfLemma
Home
Index