proposition: Fact hyper_stdtabsh_subproof : is_stdtab_of_shape sh (stdtab_of_yam (locked (hyper_yameval sh))).
proof: Proof. by rewrite /= stdtab_of_yamP //= shape_stdtab_of_yam // eval_yameval. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau