fact: Definition LRcoeff inner eval outer := LRyamtab_count_rec eval [::] inner outer (head 1 outer) [::].
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule