mathlib

4c0a2744 - doc(model_theory/order): typo in docstrings (#13390)