Nuprl Definition : co-list-nil

co-list-nil() ==  Ax


Definitions occuring in Statement :  axiom: Ax
Definitions occuring in definition :  axiom: Ax
FDL editor aliases :  co-list-nil
Latex:
co-list-nil()  ==    Ax


Date html generated: 2016_05_15-PM-10_09_21
Last ObjectModification: 2015_09_23-AM-08_22_25

Theory : eval!all


Home Index