Theorem FermatPsp.probablePrime_iff_modEq

Modification history