fact: Definition is_skew_reshape_tableau (P P1 : seq nat) (w : seq nat) := is_skew_tableau P1 (skew_reshape P1 P w).
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools ordcast combclass partition skewpart Yamanouchi ordtype std tableau stdtab Schensted congr plactic Greene_inv stdplact Yam_plact skewtab shuffle Schur_mpoly freeSchur