Loading paper
Double-bosonization and Majid's Conjecture, (III): type-crossing and inductions of $E_6$ and $E_7$, $E_8$ | Tomesphere