14a38a80

By: ValentinHirschi <valentin.hirschi@gmail.com>

Specify conditional quadratic pair lift and residual root obligations
GitHub
configure