feat: add instances about Nat.Primes
(#6238)
#3934
The logs for this run have expired and are no longer available.
Loading
Nat.Primes
(#6238)
#3934