Nuprl Definition : levelsup
levelsup(x;y) == imax(x;y)
Definitions occuring in Statement :
imax: imax(a;b)
Definitions occuring in definition :
imax: imax(a;b)
FDL editor aliases :
levelsup
Latex:
levelsup(x;y) == imax(x;y)
Date html generated:
2020_05_20-PM-07_47_30
Last ObjectModification:
2020_05_05-PM-04_40_39
Theory : cubical!type!theory
Home
Index