fact: Definition skew_reshape (inner outer : seq nat) (s : seq T) := rev (reshape (rev (outer / inner)) s).
imports: HB(structures) mathcomp(all_ssreflect) tools partition skewpart Yamanouchi ordtype tableau std stdtab