prime): `fact (2.prime)` (#10441)

Commit

4 years ago

chore(data/nat/prime): `fact (2.prime)` (#10441) Co-authored-by: Eric <ericrboidi@gmail.com>

Author

ericrbg

Parents