Nuprl Lemma : cubical_context_wf
CubicalContext ∈ 𝕌{i'''''}
Proof
Error : references
Latex:
CubicalContext \mmember{} \mBbbU{}\{i'''''\}
Date html generated:
2020_05_21-AM-10_31_16
Last ObjectModification:
2020_03_18-AM-10_22_06
Theory : cubical!type!theory
Home
Index