Theorem lucas_lehmer_necessity

Modification history