Nuprl Definition : ctt-eq
ctt-eq{i:l}(a;b) == alpha-eq-terms(CttOp;a;b)
Definitions occuring in Statement :
ctt-op: CttOp,
alpha-eq-terms: alpha-eq-terms(opr;a;b)
Definitions occuring in definition :
alpha-eq-terms: alpha-eq-terms(opr;a;b),
ctt-op: CttOp
FDL editor aliases :
ctt-eq
Latex:
ctt-eq\{i:l\}(a;b) == alpha-eq-terms(CttOp;a;b)
Date html generated:
2020_05_20-PM-08_22_41
Last ObjectModification:
2020_05_13-PM-01_49_46
Theory : cubical!type!theory
Home
Index