periodic): further properties of periodic integrals (#12488)

Commit

4 years ago

feat(measure_theory/integral/periodic): further properties of periodic integrals (#12488) Formalized as part of the Sphere Eversion project.

Author

ocfnash

Parents