prime): add two lemmas (#17605)

Commit

3 years ago

feat(data/nat/prime): add two lemmas (#17605) We add two easy lemmas. From flt-regular

Author

riccardobrasca

Parents