remove goal-modifying uses of injection#248

andres-erbsen wants to merge 1 commit intorocq-prover:masterrocq-prover/stdlib:masterfrom

andres-erbsen:structural-injection-defaultandres-erbsen/stdlib:structural-injection-defaultCopy head branch name to clipboard