[Merged by Bors] - chore: replace by_contra! and contrapose! with plain versions#31600

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

grunweg:shouting-too-hardgrunweg/mathlib4:shouting-too-hardCopy head branch name to clipboard