proposition: Lemma skew_dominate_take n sh u v : skew_dominate sh u (take n v) -> skew_dominate sh u v.
proof: Proof. Proof using. exact: dominate_take. Qed.
imports: HB(structures) mathcomp(all_ssreflect) tools partition skewpart Yamanouchi ordtype tableau std stdtab