Nuprl Definition : isdM0

isdM0(x) ==  null(x)


Definitions occuring in Statement :  null: null(as)
Definitions occuring in definition :  null: null(as)
FDL editor aliases :  isdM0
Latex:
isdM0(x)  ==    null(x)


Date html generated: 2016_05_18-AM-11_56_41
Last ObjectModification: 2015_11_04-PM-11_41_46

Theory : cubical!type!theory


Home Index