λδ digital library (LDDL)
Constant
Informal description: ""
<∀[t:natt].∀[u:natt].∀[v:{((u).suct).((t).suct).(natt)}.is].{(u).(t).(natt)}.is>.λ[t:natt].λ[u:natt].λ[v:{((u).suct).((t).suct).(natt)}.is].{(v).(u).(t)}.satz299b Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100