λδ 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).(zeta)}.sq2).({(ksi2).(ksi1).(zeta)}.sq1)}.is>.{(j).(i).(zeta).({(ksi2).(ksi1).(zeta)}.sq2).({(ksi2).(ksi1).(zeta)}.sq1).(cut)}.tris2 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100