Database of Ring Theory Community. (2023). dart_data (Version v23.03) [Data set]. https://github.com/rschwiebert/dart_data