λδ digital library (LDDL)
Constant
Informal description: ""
{λ[zeta:cut].λ[ksi1:cut].λ[ksi2:cut].λ[i:{(zeta).({(ksi2).(ksi1).(zeta)}.sq1)}.is].λ[j:{(zeta).({(ksi2).(ksi1).(zeta)}.sq2)}.is]}.<({(ksi2).(ksi1)}.less).not>.λ[t:{(ksi2).(ksi1)}.less].({({(j).(i).(ksi2).(ksi1).(zeta)}.t17).({(ksi2).(ksi1).(zeta)}.sq2).({(ksi2).(ksi1).(zeta)}.sq1).(cut)}.symis).{({(t).(ksi2).(ksi1)}.satz122).(ksi1).(ksi2).(zeta)}.t16 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100