fact: Definition bool_algebra := make_algebra_simple_single_sorted' bool_signature boolset [( false ; true ; negb ; andb ; orb ; implb )].
imports: UniMath.MoreFoundations.Notations UniMath.MoreFoundations.Bool UniMath.Combinatorics.StandardFiniteSets UniMath.Combinatorics.MoreLists UniMath.Algebra.Universal.Algebras UniMath.Algebra.Universal.VTerms