proposition: Lemma hook_length_geq1 sh rc : hook_length sh rc >= 1.
proof: Proof. by rewrite /hook_length. Qed.
imports: Misc Ccpo mathcomp(all_ssreflect) mathcomp(ssrint div rat ssralg ssrnum) tools subseq partition Yamanouchi stdtab Qmeasure