fact: Example conj_tab_expl2 : conj_tab [:: [:: 0; 1; 3; 4]; [:: 2; 5]; [:: 6]] == [:: [:: 0; 2; 6]; [:: 1; 5]; [:: 3]; [:: 4]].
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau