λδ digital library (LDDL)
Constant
Informal description: ""
{λ[ksi:cut].λ[eta:cut].λ[z0:rat].λ[x0:rat].λ[ux:{(x0).(ksi)}.urt].λ[y0:rat].λ[uy:{(y0).(eta)}.urt].λ[i:{({(y0).(x0)}.pl).(z0)}.is]}.<({({(eta).(ksi)}.sum).(z0)}.in).not>.{(i).({(uy).(y0).(ux).(x0).(eta).(ksi)}.satz129a).(z0).({(y0).(x0)}.pl).(λ[x:rat].({({(eta).(ksi)}.sum).(x)}.in).not).(rat)}.isp1 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100