fact: Fixpoint RS_rev w : seq (seq T) := if w is w0 :: wr then instab (RS_rev wr) w0 else [::].
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools partition Yamanouchi ordtype subseq tableau std stdtab