fact: Definition z2_algebra := make_algebra_simple_single_sorted' nat_signature boolset [( false ; negb )].
imports: UniMath.Foundations.All UniMath.Combinatorics.StandardFiniteSets UniMath.Combinatorics.MoreLists UniMath.Algebra.Universal.Algebras UniMath.Algebra.Universal.Terms