mathlib3
6f793bb0 - chore(measure_theory/group/basic): drop measurability assumption (#10367)

Commit

4 years ago

chore(measure_theory/group/basic): drop measurability assumption (#10367)

Author

urkud

urkud

Parents

Loading