mathlib
acabfa68 - fix(archive/imo/*): fixed syntax for docstrings (#5994)

Commit

5 years ago

fix(archive/imo/*): fixed syntax for docstrings (#5994)

Author

Julian-Kuelshammer

Julian-Kuelshammer

Parents

Loading