Metamath Proof Explorer

Table of Contents - 10.3.8. Ring primes

1. crpm
2. df-rprm