Theorem FermatPsp.coprime_of_fermatPsp

Modification history