From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 8 Jan 2021 16:06:39 +0000 (+0100)
Subject: arithmetics for λδ
X-Git-Tag: make_still_working~164
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=21de0d35017656c5a55528390b54b0b2ae395b44;hp=21de0d35017656c5a55528390b54b0b2ae395b44;p=helm.git

arithmetics for λδ

+ advances on maximum for non-negative integers
+ part of nat.ma used by λδ covered in full
+ minor additions and corrections
---