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
mk\_ci(dd;T;f) == <dd, T, f>
Date html generated:
2015_07_17-AM-08_57_55
Last ObjectModification:
2013_03_25-PM-01_54_10
Home
Index