Metamath Proof Explorer

Table of Contents - 10.3.6. Ring primes

1. crpm
2. df-rprm