mathlib
e90c7b96 - feat(data/num/prime): kernel-friendly decision procedure for prime (#3525)

Commit

5 years ago

feat(data/num/prime): kernel-friendly decision procedure for prime (#3525)

Author

digama0

digama0

Parents

Loading