λδ digital library (LDDL)
Constant
Informal description: ""
λ[s:(
rat
)
.
set
]
.
<Prop>
.
((λ[x:
rat
]
.
{(s)
.
(x)}
.
in
)
.
all
)
.
not
Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sun, 04 Jan 2015 22:57:00 +0100