Jónsson's diamond theorem

GPTKB entity