proposition: Lemma stdtabnP (s : stdtabn) : is_stdtab s.
proof: Proof. Proof using. by case: s => s /= /andP[]. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau