circle_transform): add the next set of results needed for the uniform lim of holo result

Commit

3 years ago

feat(measure_theory/integral/circle_transform): add the next set of results needed for the uniform lim of holo result

Author

CBirkbeck

Parents