fact: Definition make_algebra_simple_single_sorted (σ : signature_simple_single_sorted) (A : UU) (ops : (λ n: nat, vec A n → A)⋆ σ) : algebra σ.
imports: UniMath.Foundations.All UniMath.Algebra.Universal.SortedTypes UniMath.Algebra.Universal.Signatures