Mathlib v3 is deprecated. Go to Mathlib v4

Def matrix.general_linear_group.mk_of_det_ne_zero

Modification history