\lambda\delta home page

home	news	documentation	specification		implementation
foreword	milestones	version 2	version 2	(background - core - applications)	library	(static LDDL directory)
citations	visibility	version 1	version 1	(static HELM directory)	helena

Informal description: ""

{λ[x0: rat ] . λ[y0: rat ] . λ[z0: rat ] . λ[u0: rat ] . λ[m:{(y0) . (x0)} . more ] . λ[n:{(u0) . (z0)} . moreis ]} . <{({(u0) . (y0)} . ts ) . ({(z0) . (x0)} . ts )} . more > . {(λ[x: frac ] . λ[y: frac ] . λ[z: frac ] . λ[u: frac ] . λ[xi:{((x0) . class ) . (x)} . inf ] . λ[yi:{((y0) . class ) . (y)} . inf ] . λ[zi:{((z0) . class ) . (z)} . inf ] . λ[ui:{((u0) . class ) . (u)} . inf ] . {(ui) . (zi) . (yi) . (xi) . (u) . (z) . (y) . (x) . (n) . (m) . (u0) . (z0) . (y0) . (x0)} . t2 ) . ({({(u0) . (y0)} . ts ) . ({(z0) . (x0)} . ts )} . more ) . (u0) . (z0) . (y0) . (x0)} . ratapp4

Validation parameters: sort hierarchy = "Z2", kernel options = ""