Nuprl Lemma : isom-games_wf
∀[g1,g2:SimpleGame]. (g1 ≅ g2 ∈ ℙ)
Proof
Error : references
Latex:
\mforall{}[g1,g2:SimpleGame]. (g1 \mcong{} g2 \mmember{} \mBbbP{})
Date html generated:
2018_07_29-AM-09_21_27
Last ObjectModification:
2018_06_06-AM-11_34_56
Theory : co-recursion
Home
Index