fact: Fixpoint yamtab_rec i sh := if sh is s0 :: s then nseq s0 i :: yamtab_rec (i.+1) s else [::].
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool eqtype ssrnat seq fintype) mathcomp(tuple finfun finset path bigop order) tools partition Yamanouchi ordtype std tableau stdtab Schensted congr plactic Greene_inv stdplact