Def minimalPrimes

Modification history