description = "lambdadelta version 2"
title = "lambdadelta version 2"
head = "cic:/matita/lambdadelta/basic_2/ (λδ version 2)"
description = "lambdadelta version 2"
title = "lambdadelta version 2"
head = "cic:/matita/lambdadelta/basic_2/ (λδ version 2)"