fact: Fixpoint yamtab_rows innev row := if row is r0 :: tlr then flatten [seq [seq (i :: res.1, incr_nth res.2 i) | i <- one_letter_choices res.2 r0.+1 (head (size innev) res.1) ] | res <- yamtab_rows innev tlr ] else [:: ([::], innev) ].
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule