Nuprl Definition : mk_ci
mk_ci(dd;T;f) == <dd, T, f>
Definitions occuring in Statement :
pair: <a, b>
FDL editor aliases :
mk_ci
mk_ci
Latex:
mk\_ci(dd;T;f) == <dd, T, f>
Date html generated:
2016_05_16-AM-10_05_36
Last ObjectModification:
2013_03_25-PM-01_54_10
Theory : new!event-ordering
Home
Index