# 2024-05-20 replace `refine'` with one underscore by `refine` (#13059)
7493b5f81b4c031b87877c5c124bea1ddc4e567d
# 2024-05-24 replace many `refine'` with `refine` (#13166)
fc48848e4374f13c796a7399bfccd2e228f776df
# 2025-11-19 move Mathlib to the module system (#31786)
6a54a80825b060ab20dc31751ebdce78b3a3b518
# 2025-12-01 fix spelling in doc-strings (#32286)
b728e1450a53133aa4171eeadc0bc8d3ee58415c
