measure): Generalize typeclasses (#18496)

Commit

2 years ago

chore(measure theory/group/measure): Generalize typeclasses (#18496) A few generalisations found by Alex. Co-authored-by: Alex J. Best <alex.j.best@gmail.com>

Author

YaelDillies

Parents

271bf175

mathlib 950605e4 - chore(measure theory/group/measure): Generalize typeclasses (#18496)

mathlib
950605e4 - chore(measure theory/group/measure): Generalize typeclasses (#18496)