Step
*
of Lemma
ctt-op_wf
No Annotations
CttOp ∈ 𝕌'
BY
{ ProveWfLemma }
Latex:
Latex:
No  Annotations
CttOp  \mmember{}  \mBbbU{}'
By
Latex:
ProveWfLemma
Home
Index