Nuprl Lemma : left-indices_wf
∀[g:Game]. (left-indices(g) ∈ Type)
Proof
Error : references
Latex:
\mforall{}[g:Game]. (left-indices(g) \mmember{} Type)
Date html generated:
2020_05_21-AM-10_29_29
Last ObjectModification:
2020_02_10-PM-00_26_21
Theory : Numbers!and!Games
Home
Index