]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/lambdadelta/ground/etc/ynat/ynat_plus.etc
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
ground_2 released and permanently renamed as ground
[helm.git] / matita / matita / contribs / lambdadelta / ground / etc / ynat / ynat_plus.etc
1
2 lemma pippo: ∀x,y. x + y ≤ x → x = ∞ ∨ y = 0.
3 /3 width=1 by discr_yplus_xy_x, yle_antisym/ qed-.
4
Unnamed repository; edit this file 'description' to name the repository.