Commit 2026-10-20 16:41 2eb53be4
View on Github →chore(Data/Finset/Union): tag biUnion lemmas with grind (#43806) Add some basic grind tags for Finset.biUnion lemmas.
chore(Data/Finset/Union): tag biUnion lemmas with grind (#43806) Add some basic grind tags for Finset.biUnion lemmas.