]> mj.ucw.cz Git - saga.git/search
Fix proof of the local contractive algorithm.