Nuprl Definition : corecbar
corecbar(T) == x,y:bar-base(T)//bar-equal(T;x;y)
Definitions occuring in Statement :
bar-equal: bar-equal(T;x;y),
bar-base: bar-base(T),
quotient: x,y:A//B[x; y]
Definitions occuring in definition :
quotient: x,y:A//B[x; y],
bar-base: bar-base(T),
bar-equal: bar-equal(T;x;y)
FDL editor aliases :
corecbar
Latex:
corecbar(T) == x,y:bar-base(T)//bar-equal(T;x;y)
Date html generated:
2016_05_14-AM-06_20_55
Last ObjectModification:
2015_09_22-PM-05_47_44
Theory : co-recursion
Home
Index