Skip to content

Problem

erdos:830

sorry ↔ {(a, b) | IsAmicable a b}.Infinite

Declared status
open
Formalization
formalized
OEIS
A259180

Matching claims

0
No direct claims
This problem has no directly related claim record.