Nuprl Definition : hdf-comb3
hdf-comb3(f;X;Y;Z) == f o X o Y o Z
Definitions occuring in Statement :
hdf-compose3: X o Y,
hdf-compose2: X o Y,
hdf-compose1: f o X
FDL editor aliases :
hdf-comb3
hdf-comb3(f;X;Y;Z) == f o X o Y o Z
Date html generated:
2015_07_17-AM-08_06_02
Last ObjectModification:
2012_11_23-PM-02_09_48
Home
Index