proposition: Lemma card_yam_stdtabE (p : intpart) : #|{:yameval p}| = #|{:stdtabsh p}|.
proof: Proof. by rewrite !cardE -!(size_map val) enum_yamevalE enum_stdtabshE size_map. Qed.
imports: Misc Ccpo mathcomp(all_ssreflect) mathcomp(ssrint div rat ssralg ssrnum) tools subseq partition Yamanouchi stdtab Qmeasure