Nuprl Lemma : cubical_set_wf
j⊢ ∈ 𝕌{[i | j'']}
Proof
Error : references
Latex:
j\mvdash{} \mmember{} \mBbbU{}\{[i | j'']\}
Date html generated:
2020_05_21-AM-10_29_59
Last ObjectModification:
2020_04_03-PM-03_40_38
Theory : cubical!type!theory
Home
Index