proposition: Lemma pyampair_inj : injective pyampair.
proof: Proof. Proof using. exact: val_inj. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools partition Yamanouchi ordtype subseq tableau std stdtab