principal-ideal-domain

6,364
reputation