feat(hott): the imaginaroid version of the cayley dickson construction
feat(hott): the imaginaroid version of the cayley dickson construction

fpvandoorn/lean2,UlrikBuchholtz/lean,levnach/lean,UlrikBuchholtz/lean,soonhokong/lean,UlrikBuchholtz/lean,javra/lean,levnach/lean,fpvandoorn/lean2,soonhokong/lean,levnach/lean,fpvandoorn/lean2,javra/lean,UlrikBuchholtz/lean,levnach/lean,levnach/lean,javra/lean,UlrikBuchholtz/lean,soonhokong/lean,javra/lean,fpvandoorn/lean2,soonhokong/lean,javra/lean,fpvandoorn/lean2,soonhokong/lean