proposition: Lemma hook_length_conj_part sh r c : is_part sh -> hook_length (conj_part sh) (r, c) = hook_length sh (c, r).
proof: Proof. by rewrite /hook_length /leg_length addnC => /conj_partK ->. Qed.
imports: Misc Ccpo mathcomp(all_ssreflect) mathcomp(ssrint div rat ssralg ssrnum) tools subseq partition Yamanouchi stdtab Qmeasure