Nuprl Definition : isname

isname(z) ==  2 ≤z z


Definitions occuring in Statement :  le_int: i ≤z j,  natural_number: $n
Definitions occuring in definition :  le_int: i ≤z j,  natural_number: $n
FDL editor aliases :  isname
Latex:
isname(z)  ==    2  \mleq{}z  z


Date html generated: 2016_05_20-AM-09_29_10
Last ObjectModification: 2015_09_23-AM-09_29_27

Theory : cubical!sets


Home Index