Frobenius theorem

GPTKB entity