feat(Algebra/Module): a finite stably free module M is free if it is locally free of rank 1
#141011
mbkybkyPR_summary.yml
on: pull_request_target
post-or-update-summary-comment
57s