proposition: Lemma corner_hook_length1 sh rc : is_part sh -> corner_box sh rc -> hook_length sh rc = 1.
proof: Proof. rewrite /hook_length => Hpart Hcorn. by rewrite corner_arm_length0 // corner_leg_length0. Qed.
imports: Misc Ccpo mathcomp(all_ssreflect) mathcomp(ssrint div rat ssralg ssrnum) tools subseq partition Yamanouchi stdtab Qmeasure