Step * of Lemma int_formulaco_size_wf

[p:int_formulaco()]. (int_formulaco_size(p) ∈ partial(ℕ))
BY
ProveCoSizeWf }


Latex:


Latex:
\mforall{}[p:int\_formulaco()].  (int\_formulaco\_size(p)  \mmember{}  partial(\mBbbN{}))


By


Latex:
ProveCoSizeWf




Home Index