mathlib

06094d56 - feat(linear_algebra/free_module): add class module.free (#7801)

feat(linear_algebra/free_module): add class module.free (#7801) We introduce here a new class `module.free`. Co-authored-by: Johan Commelin <johan@commelin.net>