Commit 2026-02-18 15:56 e61bf0e0
View on Github →chore(Tactic): improve contrapose tactic documentation (#35492)
This PR (re)writes the docstrings for the contrapose and contrapose! tactics to consistently match the official style guide, to make sure they are complete while not getting too long.