Theorem primorial_succ

Modification history