fact: Definition lambda_calculus_algebraic_theory : algebraic_theory := make_algebraic_theory _ lambda_calculus_is_algebraic_theory.
imports: UniMath.Foundations.All UniMath.MoreFoundations.All UniMath.Combinatorics.StandardFiniteSets UniMath.AlgebraicTheories.AlgebraicTheories UniMath.AlgebraicTheories.AlgebraicTheoryCategoryCore UniMath.AlgebraicTheories.LambdaTheories UniMath.AlgebraicTheories.LambdaTheoryCategoryCore UniMath.AlgebraicTheories.LambdaCalculus UniMath.Combinatorics.Tuples