Theorem FermatPsp.infinite_setOf_prime_modeq_one

Modification history