fact: Definition bal_hsz n : {set n.*2.-tuple brace} := [set w : n.*2.-tuple brace | height w == 0].
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(div ssralg ssrint ssrnum binomial) tools combclass bintree