fact: Definition conj_tab (t : seq (seq T)) : seq (seq T) := let c := conj_part (shape t) in mkseq (fun i => mkseq (fun j => get_tab t (j, i)) (nth 0 c i)) (size c).
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau