Category:Historical treatment of octonions