proposition: Lemma val_stdtabshcast m n (eq_mn : m = n) t : val (stdtabshcast eq_mn t) = val t.
proof: Proof. by subst m; case: t. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau