fact: Record inputSpec := InputSpec { inner_part : is_part inner; outer_part : is_part outer; incl : included inner outer; eval_part : is_part eval; sumn_eq : sumn eval = sumn (outer / inner) }.
imports: mathcomp(all_ssreflect) mathcomp(ssralg) mathcomp(mpoly) tools combclass partition Yamanouchi ordtype tableau skewtab Schur_mpoly freeSchur therule