Skip to content

Latest commit

 

History

History

Smallest prime p such that omega(p^n - 1) is equal to n

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
explicit_is_omega_prime.sf
explicit_is_omega_prime.sf
 
 
prog.sf
prog.sf
 
 
upper-bounds.sf
upper-bounds.sf