proposition: Lemma is_row_stdE (d : unit) (T : inhOrderType d) (w : seq T) : is_row (std w) = is_row w.
proof: Proof. by apply/idP/idP; apply eq_inv_is_row; first apply eq_inv_sym; apply: eq_inv_std. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau