Commit 2025-04-10 03:06 21a70379

View on Github →

feat: add Finset.prod_congr_of_eq_on_inter (#23886)

Estimated changes