Fermat's correspondence

GPTKB entity