fact: Definition make_algebra_simple_single_sorted' (σ : signature_simple_single_sorted) (A : hSet) (ops : (λ n: nat, iterfun (vec_fill (pr1hSet A) n) A)⋆ σ) : algebra σ.
imports: UniMath.Foundations.All UniMath.Algebra.Universal.SortedTypes UniMath.Algebra.Universal.Signatures