Redirecting to
../../../binius_ip_prover/logup_star/fn.prove_reduction.html
...