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