mathlib3
acf2b6d8 - docs(algebraic_geometry/Scheme): fix typo in module docstring (#6254)

Commit

4 years ago

docs(algebraic_geometry/Scheme): fix typo in module docstring (#6254)

Author

jcommelin

jcommelin

Parents

Loading