sage
4591ae88
- Remove domain restriction
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
Remove domain restriction
References
#37354 - Allow submodule construction of a free module over a ring
Author
kwankyu
Parents
30b3d78f
Loading
