pi): Right invariance of the product measure (#17518)

Commit

3 years ago

feat(measure_theory/constructions/pi): Right invariance of the product measure (#17518) ... and golf the proof of the left invariance.

Author

YaelDillies

Parents