proposition: Lemma skew_yam_nil sh : is_skew_yam sh sh [::].
proof: Proof. by rewrite /is_skew_yam => y; rewrite cat0s. Qed.
imports: HB(structures) mathcomp(all_ssreflect) tools partition skewpart Yamanouchi ordtype tableau std stdtab