-
Jean-Christophe Filliâtre authored
exhibits, constructively, a nonnegative integer n such that p n whenever we can prove the existence of such an integer
cd5c33a0
exhibits, constructively, a nonnegative integer n such that p n whenever we can prove the existence of such an integer