fact: Definition stdtabshcast m n (eq_mn : m = n) t := let: erefl in _ = n := eq_mn return stdtabsh n in t.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau