# 2024-05-20 replace `refine'` with one underscore by `refine` (#13059)
7493b5f81b4c031b87877c5c124bea1ddc4e567d
# 2024-05-24 replace many `refine'` with `refine` (#13166)
fc48848e4374f13c796a7399bfccd2e228f776df
# 2025-08-12 chore: fix spelling mistakes (#28273)
03b550a3a2617673a928e66628c8690685440e9b
# 2025-11-19 move Mathlib to the module system (#31786)
6a54a80825b060ab20dc31751ebdce78b3a3b518
# 2025-12-01 fix spelling in doc-strings (#32286)
b728e1450a53133aa4171eeadc0bc8d3ee58415c
# 2026-10-05 group public and private imports (#44512)
9194f400a4ef67d0c14c98e0cf300cc9f289048e
