fact: Definition one_letter_choices innev mini maxi := filter (fun i => is_add_corner innev i && (nth 0 innev i < nth 0 outev i)) (iota mini ((minn (size innev) maxi).+1 - mini) ).
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule