mathlib
0a480168 - doc(analysis/calculus/conformal): fix a docstring (#8479)

Commit

4 years ago

doc(analysis/calculus/conformal): fix a docstring (#8479) Fix a grammar mistake

Author

justadzr

justadzr

Parents

Loading