fact: Definition LRsupport := [set Q : stdtabn (d1 + d2) | pred_LRtriple_fast Q1 Q2 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