Step * of Lemma Sierpinski-top_wf

⊤ ∈ ℕ ⟶ 𝔹
BY
ProveWfLemma }


Latex:


Latex:
\mtop{}  \mmember{}  \mBbbN{}  {}\mrightarrow{}  \mBbbB{}


By


Latex:
ProveWfLemma




Home Index