mathlib3
99849606 - fix(counterexamples): typo in module docstring (#13378)

Commit

3 years ago

fix(counterexamples): typo in module docstring (#13378)

Author

jcommelin

jcommelin

Parents

Loading