Commit 2022-11-20 09:48 568eb9b4

View on Github →

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

Estimated changes