Theorem Nat.Primes.coe_pnat_injective

Modification history