mathlib3

4b262b84 - refactor(topology/algebra/module/basic): don't import determinant (#17517)

refactor(topology/algebra/module/basic): don't import determinant (#17517) More files on the longest import chain in mathlib. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>