Skip to content

fix: FunInd to beta-reduce abstracted proofs #14352

fix: FunInd to beta-reduce abstracted proofs

fix: FunInd to beta-reduce abstracted proofs #14352

This job was skipped