Open StevenClontz opened 2 years ago
DaRT is a like-minded project in ring theory; we should connect with it.
Perhaps we should also link to https://mathdb.mathhub.info/ more generally as well.
DaRT is a like-minded project in ring theory; we should connect with it.
Perhaps we should also link to https://mathdb.mathhub.info/ more generally as well.