fix: avoid nonexistent `noConfusion`s in `injection`, `contradiction`#6731

Draft

jrr6 wants to merge 1 commit intoleanprover:masterfrom jrr6:contradiction-disjunction

+70-4

Commits on Jan 21, 2025

fix: avoid nonexistent noConfusions in contradiction, injection
jrr6
committed