mathlib3
df299a19 - docs(order/filter/basic): fix docstring of generate (#12734)

Commit

3 years ago

docs(order/filter/basic): fix docstring of generate (#12734)

Author

jcommelin

jcommelin

Parents

Loading