Mathlib v3 is deprecated. Go to Mathlib v4

Def opposite.equiv_to_opposite

Modification history