Mal'cev theorem

GPTKB entity