PR #17835 chore(data/set/basic): Split

chore(data/set/basic): Split #17835

Ruben-VandeVelde wants to merge 5 commits into master from wip-redefine-set-2

Move Prop instances.

3c1c0b4b

Reduce bounded_order imports.

baa4c5a1

Define set basics before its boolean_algebra instance.

50a8e0e1

Copy file.

7479b8e3

Split file.

3d6b3aae

kim-em added WIP

kim-em added awaiting-author

kim-em added merge-conflict

kim-em added awaiting-CI

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

WIP awaiting-author merge-conflict awaiting-CI too-late

Milestone

No milestone