Step
*
of Lemma
Sierpinski-top_wf
⊤ ∈ ℕ ⟶ 𝔹
BY
{ ProveWfLemma }
Latex:
Latex:
\mtop{}  \mmember{}  \mBbbN{}  {}\mrightarrow{}  \mBbbB{}
By
Latex:
ProveWfLemma
Home
Index