]> mj.ucw.cz Git - saga.git/commit
Robust contraction lemma.
authorMartin Mares <mj@ucw.cz>
Tue, 1 Apr 2008 21:07:12 +0000 (23:07 +0200)
committerMartin Mares <mj@ucw.cz>
Tue, 1 Apr 2008 21:07:12 +0000 (23:07 +0200)
commit19014393105b83a20f611cb978d939b71edaa533
treeb3de04040824614410954315c2421ba7425e3ecb
parent271193d94ee991571c20551720ce22223b13c814
Robust contraction lemma.
macros.tex
notation.tex
opt.tex