Commit 2023-03-02 15:13 f62c15c0
View on Github →feat(linear_algebra/free_module/pid): rename module.free_of_finite_type_torsion_free (#18537) See https://github.com/leanprover-community/mathlib/pull/18474#discussion_r1122802316
feat(linear_algebra/free_module/pid): rename module.free_of_finite_type_torsion_free (#18537) See https://github.com/leanprover-community/mathlib/pull/18474#discussion_r1122802316