proposition: Lemma conj_tabK t : is_tableau t -> conj_tab (conj_tab t) = t.
proof: Proof. Proof using. move=> /is_part_sht; apply :conj_tab_shapeK. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau