Nuprl Definition : singleton-complex

singleton-complex(c) ==  [c]


Definitions occuring in Statement :  cons: [a / b],  nil: []
Definitions occuring in definition :  cons: [a / b],  nil: []
FDL editor aliases :  singleton-complex
Latex:
singleton-complex(c)  ==    [c]


Date html generated: 2020_05_20-AM-09_22_15
Last ObjectModification: 2019_11_13-PM-06_43_20

Theory : rationals


Home Index