big_operators): Correct copyright (#17229)

Commit

3 years ago

docs(data/set/pointwise)/big_operators): Correct copyright (#17229) All this material comes from #8220 and #14928.

Author

YaelDillies

Parents