proposition: Lemma skew_dominate0 : skew_dominate 0 =2 (@dominate _ T).
proof: Proof. Proof using. by move=> u v /=; rewrite /skew_dominate drop0. Qed.
imports: HB(structures) mathcomp(all_ssreflect) tools partition skewpart Yamanouchi ordtype tableau std stdtab