proposition: Lemma size_tab_remn t : is_stdtab t -> t != [::] -> size_tab (remn t) = (size_tab t).-1.
proof: Proof. by move=> /append_nth_remn /[apply] {2}<-; rewrite size_append_nth. Qed.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(perm fingroup) tools combclass partition Yamanouchi ordtype std tableau