fact: Definition prover_impl_arrows (P:ProverT) st g := prover_arrows P (find_arrows st (arrows st)) st g.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause