Soundness of answer reduction (lem:ar-soundness, the soundness clause of the AnswerReduction contract, at any answer bound above the answer cut): val* of the…

Initializing...

Soundness of answer reduction (lem:ar-soundness, the soundness clause of the AnswerReduction contract, at any answer bound above the answer cut): val* of the… · Prove2Me