docs(data/polynomial/basic): Remove commutative from doc-module (#13144)
docs(data/polynomial/basic): Remove commutative from doc-module (#13144)






leanprover-community/mathlib,leanprover-community/mathlib