Nuprl Definition : sub_cubical_set
Y ⊆ X == 1(Y) ∈ Y ⟶ X
Definitions occuring in Statement :
csm-id: 1(X),
cube_set_map: A ⟶ B,
member: t ∈ T
Definitions occuring in definition :
member: t ∈ T,
cube_set_map: A ⟶ B,
csm-id: 1(X)
FDL editor aliases :
sub_cubical_set
Latex:
Y \msubseteq{} X == 1(Y) \mmember{} Y {}\mrightarrow{} X
Date html generated:
2018_05_23-AM-08_37_26
Last ObjectModification:
2017_11_12-PM-02_26_41
Theory : cubical!type!theory
Home
Index