principal-ideal-domain

113
reputation