Skip to content
Post PR summary comment

feat(Algebra/Module): a finite stably free module M is free if it is locally free of rank 1 #141011

Sign in to view logs

feat(Algebra/Module): a finite stably free module M is free if it is locally free of rank 1

feat(Algebra/Module): a finite stably free module M is free if it is locally free of rank 1 #141011

post-or-update-summary-comment

post-or-update-summary-comment
succeeded Apr 3, 2026 in 57s