prime): add 2 aliases (#17372)

Commit

3 years ago

chore(data/nat/prime): add 2 aliases (#17372) Add `nat.prime.prime` and `prime.nat_prime`. Also move 2 lemmas and golf some proofs.

Author

urkud

Parents