λδ digital library (LDDL)
Constant
Informal description: ""
{λ[r:real].λ[s:real].λ[p:({(s).(r)}.ts).pos]}.<{({((s).neg).((r).neg)}.and).({((s).pos).((r).pos)}.and)}.or>.{({(p).(s).(r)}.t14).({(p).(s).(r)}.t13).({(p).(s).(r)}.t12).(s).(r)}.satz196e Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100