fact: Fixpoint subs_eval eval i := if eval is e0 :: ev then if i < e0 then 0 else (subs_eval ev (i - e0)).+1 else 0 .
imports: mathcomp(all_ssreflect) ordtype tableau Yamanouchi stdtab shuffle freeSchur skewtab therule implem