proposition: Lemma size_skew_reshape inner outer s : size (skew_reshape inner outer s) = size outer.
proof: Proof. Proof using. by rewrite /skew_reshape size_rev size_reshape size_rev size_diff_shape. Qed.
imports: HB(structures) mathcomp(all_ssreflect) tools partition skewpart Yamanouchi ordtype tableau std stdtab