Frobenius theorem (real division algebras) (source code)

= Frobenius theorem (real division algebras)
{wiki=Frobenius_theorem_(real_division_algebras)}