Nuprl Definition : co-cons
[x / L] == <x, L>
Definitions occuring in Statement :
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>
FDL editor aliases :
co-cons
Latex:
[x / L] == <x, L>
Date html generated:
2019_06_20-PM-00_38_10
Last ObjectModification:
2018_12_04-PM-00_12_38
Theory : list_0
Home
Index