proposition: Lemma LRcoeffP inner eval outer : size (LRyamtab_list inner eval outer) = LRcoeff inner eval outer.
proof: Proof. by rewrite size_LRyamtab_listE. Qed.
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule