Chebotarev density theorem

GPTKB entity