Maurer–Cartwright theorem

GPTKB entity