]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afac35c) | patch
Working on the conservation of eta inequality, seems feasible
authoracondolu <andrea.condoluci@unibo.it>
Fri, 27 Jul 2018 17:23:18 +0000 (19:23 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 27 Jul 2018 17:23:18 +0000 (19:23 +0200)
commit7b8e2259f217ba34f4d8871eca4fc7b79791d13a
treedc22f59177d42f0fcec1db372eddc7eba507b1bbtree | snapshot
parentafac35ce3b2f0240a762f51c3379ff4048233a0dcommit | diff
Working on the conservation of eta inequality, seems feasible
just A LOT of subcases
macros.tex diff | blob | history
notes.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.