fundamental homomorphism theorem

GPTKB entity