Add promote_variables to doc

blegat · blegat · commit 67e0e85d416c · 2025-05-03T08:47:45.000+02:00
diff --git a/docs/src/types.md b/docs/src/types.md
@@ -40,6 +40,7 @@ powers
 constant_monomial
 map_exponents
 multiplication_preserves_monomial_order
+promote_variables
 ```
 
 ### Ordering
