mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

chore(Data/Finset/Basic): Depend on less order theory

Open YaelDillies opened this issue 1 year ago • 0 comments

Move Finset.biUnion and Finset.disjiUnion to a new file so that Data.Finset.Basic doesn't depend on that much order theory.


Open in Gitpod

YaelDillies avatar Mar 27 '24 20:03 YaelDillies