PR #17812 chore(data/set/pointwise/*): Resplit

chore(data/set/pointwise/*): Resplit #17812

YaelDillies wants to merge 5 commits into master from resplit_data_set_pointwise

chore(data/set/pointwise/*): Resplit

fcd27401

YaelDillies added awaiting-review

YaelDillies added t-algebra

move library note

cf267523

eric-wieser commented on 2022-12-04

eric-wieser approved these changes on 2022-12-04

move some instances back

0b053922

move aux lemma

8de6bc5c

actually move

1f1f4e78

hrmacbeth removed awaiting-review

hrmacbeth added awaiting-author

YaelDillies removed awaiting-author

YaelDillies added awaiting-review

sgouezel removed awaiting-review

sgouezel added awaiting-author

kim-em added too-late

Reviewers

eric-wieser

Assignees

No one assigned

Labels

awaiting-author t-algebra too-late

Milestone

No milestone