mathlib
1126441d - fix(topology/basic): docstring typo (#18229)

Commit

3 years ago

fix(topology/basic): docstring typo (#18229)

References

#18308 - Jyxu/graded module

Author

rwbarton

rwbarton

Parents

Loading