feat(Algebra/Module): a finite stably free module M is free if it is locally free of rank 1
#141011
| Job | Run time |
|---|---|
| 57s | |
| 57s |
M is free if it is locally free of rank 1
#141011
| Job | Run time |
|---|---|
| 57s | |
| 57s |