Commit 2025-10-28 13:23 e957330a
View on Github →chore(scripts): add flt-regular to the downstream repositories (#31002) This is an important project depending on Mathlib, we should have it in the list of downstream repositories.
chore(scripts): add flt-regular to the downstream repositories (#31002) This is an important project depending on Mathlib, we should have it in the list of downstream repositories.