3 commits

Author	SHA1	Message	Date
Leonardo de Moura	aa2a5b6282	feat(library/data/nat/primes): add infinite primes theorem	2015-07-03 00:31:54 -07:00
Leonardo de Moura	372d17ab96	refactor(library/data/nat/primes): rename is_prime to prime	2015-07-02 23:21:10 -07:00
Leonardo de Moura	5917a26554	feat(library/data/nat/primes): add is_prime	2015-07-02 22:27:51 -07:00