Second Main Theorem

GPTKB entity