Frobenius' theorem

GPTKB entity