swh:1:snp:78e145aa8174e576786284475a76cf6f187b3475
History
Tip revision: 4ef1ccc9e96375965a387f103e3459e1f841c550 authored by Sébastien Loriot on 09 March 2018, 13:48:46 UTC
use Root_of_2 to guarantee the validity of the predicate
Tip revision: 4ef1ccc

back to top