pid): rename module.free_of_finite_type_torsion_free (#18537)

Commit

2 years ago

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

Author

xroblot

Parents

c10e724b

mathlib f62c15c0 - feat(linear_algebra/free_module/pid): rename module.free_of_finite_type_torsion_free (#18537)

mathlib
f62c15c0 - feat(linear_algebra/free_module/pid): rename module.free_of_finite_type_torsion_free (#18537)