mathlib
15ff8653 - doc(localized): update documentation (#5519)

Commit

4 years ago

doc(localized): update documentation (#5519) remove old warning remove duplicated documentation rename notation namespace to locale

Author

fpvandoorn

Parents