Nuprl Definition : ap-con

ap-con(con;L) ==  con L


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  ap-con
Latex:
ap-con(con;L)  ==    con  L


Date html generated: 2016_05_15-PM-06_55_35
Last ObjectModification: 2015_09_23-AM-08_07_44

Theory : general


Home Index