mathlib3

7bf99266 - chore(measure_theory/group/fundamental_domain: Generalise to two groups (#17766)

chore(measure_theory/group/fundamental_domain: Generalise to two groups (#17766) Generalize `is_fundamental_domain.preimage_of_equiv`/`is_fundamental_domain.image_of_equiv` to two groups.