Nuprl Definition : csm-comp
G o F == trans-comp(NameCat;TypeCat;A;B;C;F;G)
Wellformedness Lemmas :
csm-comp_wf
Definitions occuring in Statement :
name-cat: NameCat,
type-cat: TypeCat,
trans-comp: trans-comp(C;D;F;G;H;t1;t2)
Definitions occuring in definition :
trans-comp: trans-comp(C;D;F;G;H;t1;t2),
name-cat: NameCat,
type-cat: TypeCat
FDL editor aliases :
csm-comp
Latex:
G o F == trans-comp(NameCat;TypeCat;A;B;C;F;G)
Date html generated:
2016_06_16-PM-05_35_50
Last ObjectModification:
2015_09_23-AM-09_29_54
Theory : cubical!sets
Home
Index