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