Def first_order.language.relations.bounded_formula₁

feat(model_theory/*): Constructors for low-arity languages and structures (#12960) …