From: acondolu <andrea.condoluci@unibo.it>
Date: Tue, 17 Jul 2018 10:55:52 +0000 (+0100)
Subject: Almost complete proof of Lemma 2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=afac35ce3b2f0240a762f51c3379ff4048233a0d;hp=afac35ce3b2f0240a762f51c3379ff4048233a0d;p=fireball-separation.git

Almost complete proof of Lemma 2
*** Passo su carta a cercare prova di Lemma 3 ***
---