fact: Definition is_skew_yam innev outev sy := (forall y, is_yam_of_eval innev y -> is_yam_of_eval outev (sy ++ y)).
imports: HB(structures) mathcomp(all_ssreflect) tools partition skewpart Yamanouchi ordtype tableau std stdtab