proposition: Lemma outputSpec_count_mem tab : inputSpec -> outputSpec tab -> count_mem tab (LRyamtab_list inner eval outer) = 1.
proof: Proof. Proof using . move=> [Hinn Hout Hincl Hev Hsumnc] [Htab Hshape Hyam Heval]. apply: count_mem_LRyamtab_list => //=. by rewrite /is_yam_of_eval Hyam Heval eq_refl. Qed.
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule