Redirecting to
../../../zinc_piop/ideal_check/struct.Proof.html
...