proposition: Theorem is_tableau_reshape_std sh (d : unit) (T : inhOrderType d) (u : seq T) : size u = sumn sh -> is_tableau (skew_reshape [::] sh u) = is_tableau (skew_reshape [::] sh (std u)).
proof: Proof. move=> Hsz. by rewrite -!is_skew_tableau0; rewrite is_skew_tableau_reshape_std. Qed.
imports: HB(structures) mathcomp(all_ssreflect) tools partition skewpart Yamanouchi ordtype tableau std stdtab