fact: Definition freeSchur (Q : stdtabn d) : homlang d := [set t : d.-tuple 'I_n | (RStabmap t).2 == Q].
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(ssrcomplements freeg mpoly) tools ordtype partition Yamanouchi std tableau stdtab Schensted congr plactic stdplact Yam_plact Greene_inv shuffle Schur_mpoly