refactor(*): use IsSelfInv and IsSelfNeg - #43774

refactor(*): use IsSelfInv and IsSelfNeg#43774

justus-springer wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/use-isSelfInvjustus-springer/mathlib4:justus/use-isSelfInvCopy head branch name to clipboard