Library UniMath.Algebra.Universal

Universal algebra: signatures, algebras and terms