mathlib
f08fe5fd - doc(data/quot): promote a comment to a docstring (#7306)

Commit

4 years ago

doc(data/quot): promote a comment to a docstring (#7306)

Author

eric-wieser

eric-wieser

Parents

Loading