feat(by_contra,contrapose): warn if the push_neg step does nothing#37907

grunweg wants to merge 13 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:pushneg-warngrunweg/mathlib4:pushneg-warnCopy head branch name to clipboard