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

Commit

3 years ago

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

Author

adomani

adomani

Parents

Loading