fact: Hypothesis Hcnvargen : forall d : nat, (d < m) || (n <= m) -> cnvarsym (Gen m d.+1) = (Gen n d.+1).
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(ssralg ssrint fingroup perm) mathcomp(ssrcomplements freeg mpoly) sorted tools ordtype permuted partition skewpart composition Yamanouchi std tableau stdtab skewtab permcent antisym Schur_mpoly therule Schur_altdef unitriginv