]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce17a6f) | patch
Proved another lemma (aux1 + aux2) latex
authoracondolu <andrea.condoluci@unibo.it>
Sat, 28 Jul 2018 11:33:15 +0000 (13:33 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sat, 28 Jul 2018 11:33:15 +0000 (13:33 +0200)
commita7a2c1856a363d14919592eec69c3d0e50dc883f
treecabebebf3a6dd2bac113596191f3cb5a14ebb44btree | snapshot
parentce17a6ffcfd4bcacb390948283478e59c1af1dd8commit | diff
Proved another lemma (aux1 + aux2)
macros.tex diff | blob | history
notes.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.