proposition: Theorem shape_RS_std u : shape (RS (std u)) = shape (RS u).
proof: Proof. Proof using. by apply: Greene_row_eq_shape_RS; exact: Greene_std. Qed.
imports: mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass ordcast partition Yamanouchi ordtype std tableau stdtab sorted Schensted congr plactic Greene Greene_inv