Mathlib v3 is deprecated. Go to Mathlib v4

Theorem FinVect.iso.conj_eq_conj

Modification history