Freyd–Mitchell embedding theorem

GPTKB entity