Nuprl Definition : bar
bar(T) == partial(T)
Definitions occuring in Statement :
partial: partial(T)
Definitions occuring in definition :
partial: partial(T)
FDL editor aliases :
bar
Latex:
bar(T) == partial(T)
Date html generated:
2016_05_15-PM-10_03_36
Last ObjectModification:
2016_01_05-PM-05_48_59
Theory : bar!type
Home
Index