mathlib3
049f16a8 - feat(measure_theory/pi): `ae_eq` lemmas about intervals in `Π i, α i` (#5633)

Commit

5 years ago

feat(measure_theory/pi): `ae_eq` lemmas about intervals in `Π i, α i` (#5633)

Author

urkud

urkud

Parents

Loading