mathlib3

feat(algebra/opposites): opposites of operators

#538

Merged