Conway-Schneeberger fifteen theorem

GPTKB entity