mathlib

0ae4a3d5 - fix(update-copy-mod-doc-exceptions.sh): cleanup, sort properly (#4533)