Theorem module.free_of_finite_type_torsion_free
Modification history
2023-03-02 15:13
src/linear_algebra/free_module/pid.lean
feat(linear_algebra/free_module/pid): rename module.free_of_finite_type_torsion_free (#18537) …
Added module.free_of_finite_type_torsion_freeView on Github →